fix: Set env var DATABASE_TYPE="sqlite" in the dev_environment configs

Author: natkam

examples/dev_environment/grader_service_config.py

@@ -15,6 +15,9 @@
 
 print("### loading service config")
 
+# The database used in this setup is SQLite
+os.environ["DATABASE_TYPE"] = "sqlite"
+
 c.GraderService.service_host = "127.0.0.1"
 # existing directory to use as the base directory for the grader service
 service_dir = os.path.join(os.getcwd(), "service_dir")

examples/dev_environment/grader_service_config_test.py

@@ -15,6 +15,9 @@
 
 logger.info("### loading service config")
 
+# The database used in this setup is SQLite
+os.environ["DATABASE_TYPE"] = "sqlite"
+
 c.GraderService.service_host = "127.0.0.1"
 # existing directory to use as the base directory for the grader service
 service_dir = os.path.join(os.getcwd(), "service_dir")