expose custom-view to service-info api (#56)

* expose custom-view to service-info api * expose custom-view to service-info api
rage · Feb 22, 2024 · 86cf039 · 86cf039
1 parent 3df09e0
commit 86cf039
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 1 deletion.
diff --git a/src/pages/api/service-info.ts b/src/pages/api/service-info.ts
@@ -26,5 +26,6 @@ const handlePost = (_req: NextApiRequest, res: NextApiResponse<ExerciseServiceIn
     grade_endpoint_path: `${prefix}/api/grade`,
     public_spec_endpoint_path: `${prefix}/api/public-spec`,
     model_solution_spec_endpoint_path: `${prefix}/api/model-solution`,
+    has_custom_view: true,
   })
 }
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 {