diff --git a/tools/devel-server.py b/tools/devel-server.py index c79a65b..aa69535 100755 --- a/tools/devel-server.py +++ b/tools/devel-server.py @@ -163,10 +163,10 @@ you are a fool. body.write("