Properly accept --port as integer in github_buildbot cmd line options

djmitche · Oct 4, 2009 · 2fc57d2 · 2fc57d2
1 parent 7320da8
commit 2fc57d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/github_buildbot.py b/contrib/github_buildbot.py
@@ -209,7 +209,7 @@ def main():
 
     parser.add_option("-p", "--port", 
         help="Port the HTTP server listens to for the GitHub Service Hook"
-            + " [default: %default]", default=4000, dest="port")
+            + " [default: %default]", default=4000, type=int, dest="port")
 
     parser.add_option("-m", "--buildmaster",
         help="Buildbot Master host and port. ie: localhost:9989 [default:"