expose custom-view to service-info api

rage · Feb 22, 2024 · 9cf48b2 · 9cf48b2
1 parent 9d490dc
commit 9cf48b2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/shared-module/bindings.guard.ts b/src/shared-module/bindings.guard.ts
@@ -934,7 +934,10 @@ export function isExerciseServiceInfoApi(obj: unknown): obj is ExerciseServiceIn
     typeof typedObj["user_interface_iframe_path"] === "string" &&
     typeof typedObj["grade_endpoint_path"] === "string" &&
     typeof typedObj["public_spec_endpoint_path"] === "string" &&
-    typeof typedObj["model_solution_spec_endpoint_path"] === "string"
+    typeof typedObj["model_solution_spec_endpoint_path"] === "string" &&
+    (typeof typedObj["has_custom_view"] === "undefined" ||
+      typedObj["has_custom_view"] === false ||
+      typedObj["has_custom_view"] === true)
   )
 }
 

diff --git a/src/shared-module/bindings.ts b/src/shared-module/bindings.ts
@@ -455,6 +455,7 @@ export interface ExerciseServiceInfoApi {
   grade_endpoint_path: string
   public_spec_endpoint_path: string
   model_solution_spec_endpoint_path: string
+  has_custom_view?: boolean
 }
 
 export interface ExerciseService {