05.11., 9:00 - 11:00: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Commit beafae32 authored by Eckhart Arnold's avatar Eckhart Arnold

- sever.py: bug fix

parent 99792e58
......@@ -202,7 +202,7 @@ class Server:
if isinstance(result, str):
writer.write(result.encode())
else:
json.dump(writer, result)
writer.write(json.dumps(result).encode())
else:
# JSON RPC
......
......@@ -34,8 +34,8 @@ from DHParser.server import Server
scriptdir = os.path.dirname(os.path.realpath(__file__))
def compiler_dummy(src: str, log_dir: str) -> Tuple[str, str]:
return (src, log_dir)
def compiler_dummy(src: str, log_dir: str='') -> Tuple[str, str]:
return src
class TestServer:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment