Commit 0f9aefb3 authored by eckhart's avatar eckhart
Browse files

test/test_server.py: uses different port number on each run to prevent... 

test/test_server.py: uses different port number on each run to prevent interferences if several instances of test_server.py are run in parallel (e.g. when testing concurrently on several processor cores with different python version)
parent f2ffe00d

.gitignore

+1 −0
Original line number Diff line number Diff line
@@ -49,3 +49,4 @@ OLDSTUFF 
*.pyd

docs/*

**/node_modules

*.py.cfg

examples/json/vscode_lsp/jsonServer.py.cfg

deleted100644 → 0
+0 −1
Original line number Diff line number Diff line 
127.0.0.1 8888
 
 No newline at end of file

test/test_server.py

+3 −1
Original line number Diff line number Diff line
@@ -43,7 +43,9 @@ sys.path.append(os.path.abspath(os.path.join(scriptpath, '..'))) 
from DHParser.server import Server, spawn_server, stop_server, asyncio_run, asyncio_connect, \

    has_server_stopped, gen_lsp_table, STOP_SERVER_REQUEST, IDENTIFY_REQUEST, SERVER_OFFLINE



TEST_PORT = 8889

TEST_PORT = 8000 + os.getpid() % 1000

# adding pid % 100 hopefully prevents interference, if `test_server.py` is run in

# parallel with several different python versions, as done by `run.py`





def compiler_dummy(src: str, log_dir: str='') -> str:

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum