diff options
| author | Luka Hartwig <mail@lukahartwig.de> | 2020-02-02 22:55:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-02 16:55:22 -0500 |
| commit | f168597b7ab81afda3bf4749a81c360d364e7cf1 (patch) | |
| tree | 4082e9eebf03cc7b3b653822c52a54a62e308d15 /tools/http_server.py | |
| parent | e8df66c12cbb3e51f8776aa91e6db41bbfdcae5e (diff) | |
Remove //tests symlink (#3849)
Diffstat (limited to 'tools/http_server.py')
| -rwxr-xr-x | tools/http_server.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/http_server.py b/tools/http_server.py index 9b929c15e..871888a4e 100755 --- a/tools/http_server.py +++ b/tools/http_server.py @@ -223,7 +223,7 @@ def redirect_server(): # BUT with an extra subdir path def another_redirect_server(): return base_redirect_server( - ANOTHER_REDIRECT_PORT, PORT, extra_path_segment="/tests/subdir") + ANOTHER_REDIRECT_PORT, PORT, extra_path_segment="/cli/tests/subdir") # redirect server that points to another redirect server |