adding simple script and alternative xmi for development

VirtualFlyBrain · May 13, 2021 · 687ae56 · 687ae56
1 parent a90a8fe
commit 687ae56
Show file tree

Hide file tree

Showing 2 changed files with 1,152 additions and 0 deletions.
diff --git a/model/start_dev_server.sh b/model/start_dev_server.sh
@@ -0,0 +1,10 @@
+cp vfb.xmi vfb.bak
+mv vfb-dev.xmi vfb.xmi
+if [[ "$(python --version)" =~ "3." ]]; then
+	python -m http.server 8989
+else
+	python -m SimpleHTTPServer 8989
+fi
+echo "test test"
+mv vfb.xmi vfb-dev.xmi
+mv vfb.bak vfb.xmi