From f643f7b754e0dbcd176dcfbb6ead9dbedad8e203 Mon Sep 17 00:00:00 2001 From: Neale Pickett Date: Tue, 21 Jan 2020 08:29:25 -0700 Subject: [PATCH] Remove superfluous newline --- devel/devel-server.py | 1 - 1 file changed, 1 deletion(-) diff --git a/devel/devel-server.py b/devel/devel-server.py index fd53d12..7d7b505 100755 --- a/devel/devel-server.py +++ b/devel/devel-server.py @@ -297,7 +297,6 @@ if __name__ == '__main__': server.args["base_url"] = args.base server.args["puzzles_dir"] = pathlib.Path(args.puzzles) server.args["theme_dir"] = args.theme - logging.info("Listening on %s:%d", addr, port) server.serve_forever()