From a4c111bc5e7822659bc3f2b6ce0524082f58b245 Mon Sep 17 00:00:00 2001 From: Lurkars Date: Wed, 24 Jul 2019 19:23:41 +0200 Subject: [PATCH] server.py indent fixes --- ext/server.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ext/server.py b/ext/server.py index 5a20529..085ad9e 100755 --- a/ext/server.py +++ b/ext/server.py @@ -56,12 +56,12 @@ def create_game(): rows = cur.fetchall() while rows: port += 1 - game_count += 1 + game_count += 1 cur.execute("SELECT * FROM games WHERE port=?", (port,)) rows = cur.fetchall() - - if game_count == MAX_GAMES: - abort(401) + + if game_count == MAX_GAMES: + abort(401) # check duplicate name base_name = name