diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rwxr-xr-x | docs/lab/serve.py | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index fe5c4df72..df4863101 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,7 @@ _*.ignore *~ .DS_Store nohup.out +.vscode/ build /_* diff --git a/docs/lab/serve.py b/docs/lab/serve.py index afc96854a..91fc12cb0 100755 --- a/docs/lab/serve.py +++ b/docs/lab/serve.py @@ -26,7 +26,7 @@ class HTTPServer(http.server.HTTPServer): labdir = abspath(dirname(__file__)) try: os.symlink('../../build/fonts', pjoin(labdir, 'fonts')) -except FileExistsError: +except OSError: pass addr = ("localhost", 3003) |