{ "version": "0.0.1", "configurations": [ { "name": "tilburg-hub", "runtimeExecutable": "python", "runtimeArgs": ["-m", "http.server", "3456", "--directory", "site"], "port": 3456 } ] }