From 1532db70b7359419819a1d016a2c9bb3b79df805 Mon Sep 17 00:00:00 2001
From: Brandon Vandegrift <798832-bmv437@users.noreply.gitlab.com>
Date: Sat, 2 Sep 2023 14:17:43 -0400
Subject: [PATCH] Add .json file extension to jsonschema output files

---
 veilid-python/update_schema.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/veilid-python/update_schema.sh b/veilid-python/update_schema.sh
index 43db5dba..84920c6e 100755
--- a/veilid-python/update_schema.sh
+++ b/veilid-python/update_schema.sh
@@ -24,5 +24,5 @@ fi
 
 # Produce schema from veilid-server
 for SCHEMA in "Request" "RecvMessage"; do
-    echo -n "Updating ${SCHEMA}..." && ${VEILID_SERVER} --emit-schema ${SCHEMA} > $SCRIPTDIR/veilid/schema/${SCHEMA} && echo " done." || echo " error!"
+    echo -n "Updating ${SCHEMA}..." && ${VEILID_SERVER} --emit-schema ${SCHEMA} > $SCRIPTDIR/veilid/schema/${SCHEMA}.json && echo " done." || echo " error!"
 done