Remove now-unused isInt code

2020-08-23 18:51:09 +02:00 · 2020-08-23 18:51:09 +02:00 · aa9143302b
parent 0d62a7625b
commit aa9143302b
1 changed files with 0 additions and 9 deletions
--- 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)