web: add EventInfo case for policy_execution

2020-12-31 11:21:52 +01:00
parent be54ba4fe2
commit 6eed549577
2 changed files with 24 additions and 1 deletions
--- a/web/src/api/Events.ts
+++ b/web/src/api/Events.ts
@ -8,7 +8,7 @@ export interface EventUser {
 }

 export interface EventContext {
-    [key: string]: EventContext | string | number;
+    [key: string]: EventContext | string | number | string[];
 }

 export class Event {