rename response.html to response.example.html

Author: tobycm

modules/server_starter.py

@@ -32,6 +32,9 @@ async def start_code_server(user: str, expire_time: int):
             break
         await asyncio.sleep(0.1)
 
+    # sleep for 2 more seconds to make sure code-server is ready
+    await asyncio.sleep(2)
+
     Popen(["sudo", "chown", ":www-data", socket_path])
 
     Popen(["sudo", "chmod", "770", socket_path])

response.html renamed to response.example.html

@@ -30,6 +30,4 @@
         }
     </script>
 
-</body>
-
-</html>
+</body>

setup.py

@@ -1,11 +1,14 @@
-with open("response.html", "r+", encoding="utf8") as template_file:
+with open("response.example.html", "r", encoding="utf8") as template_file:
+    template_html = template_file.read()
+
+with open("response.html", "w", encoding="utf8") as template_file:
     root_domain = "." + input("Enter your root domain (ex: tobycm.ga): ")
     vscode_domain = input(f"Enter your VS Code domain (default: vscode{root_domain}): ")
     if vscode_domain == "":
         vscode_domain = f"vscode{root_domain}"
 
     template_file.write(
-        template_file.read()
+        template_html
         .replace("%root_domain%", root_domain)
         .replace("%vscode_domain%", vscode_domain)
     )