Rewrite devkit service in python.
Compare changes
- Jeremy Whiting authored
If user config exists and has Settings -> Port use that, otherwise use system wide config, otherwise use defaults.
+ 16
− 1
@@ -46,6 +46,12 @@ use_default_hooks = True
@@ -139,9 +145,18 @@ class DevkitHandler(BaseHTTPRequestHandler):