From aa9143302b376e1274c8c11b53687771d0444b5a Mon Sep 17 00:00:00 2001 From: pictuga Date: Sun, 23 Aug 2020 18:51:09 +0200 Subject: [PATCH] Remove now-unused isInt code --- morss/__main__.py | 9 --------- 1 file changed, 9 deletions(-) diff --git a/morss/__main__.py b/morss/__main__.py index 60fae7e..275c57a 100644 --- a/morss/__main__.py +++ b/morss/__main__.py @@ -15,15 +15,6 @@ import wsgiref.handlers PORT = int(os.getenv('PORT', 8080)) -def isInt(string): - try: - int(string) - return True - - except ValueError: - return False - - def main(): if 'REQUEST_URI' in os.environ: # mod_cgi (w/o file handler)