From 070f72bcfa3cc6e5ee7a4f803ac369cd92deff3d Mon Sep 17 00:00:00 2001
From: Ziyang Hu <hu.ziyang@cantab.net>
Date: Sun, 7 May 2023 15:15:31 +0800
Subject: [PATCH] server export should give data in Json format

---
 cozo-bin/src/server.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cozo-bin/src/server.rs b/cozo-bin/src/server.rs
index 9e5790fc..382a59fc 100644
--- a/cozo-bin/src/server.rs
+++ b/cozo-bin/src/server.rs
@@ -343,6 +343,7 @@ async fn export_relations(
     let result = spawn_blocking(move || st.db.export_relations(relations.iter())).await;
     match result {
         Ok(Ok(s)) => {
+            let s: serde_json::Map<_, _> = s.into_iter().map(|(k, v)| (k, v.into_json())).collect();
             let ret = json!({"ok": true, "data": s});
             (StatusCode::OK, ret.into())
         }