| Index: tools/bug_chomper/src/server/server.go
 | 
| diff --git a/tools/bug_chomper/src/server/server.go b/tools/bug_chomper/src/server/server.go
 | 
| index a20c679107e09d842fb2b9aee41681096b715762..fcd1ccc3ef283d94c89e77155343bad5b142cde6 100644
 | 
| --- a/tools/bug_chomper/src/server/server.go
 | 
| +++ b/tools/bug_chomper/src/server/server.go
 | 
| @@ -35,7 +35,6 @@ const (
 | 
|  	issueComment      = "Edited by BugChomper"
 | 
|  	oauthCallbackPath = "/oauth2callback"
 | 
|  	oauthConfigFile   = "oauth_client_secret.json"
 | 
| -	defaultPort       = 8000
 | 
|  	localHost         = "127.0.0.1"
 | 
|  	maxSessionLen     = time.Duration(3600 * time.Second)
 | 
|  	priorityPrefix    = "Priority-"
 | 
| @@ -43,6 +42,11 @@ const (
 | 
|  	cookieName        = "BugChomperCookie"
 | 
|  )
 | 
|  
 | 
| +// Flags:
 | 
| +var (
 | 
| +	port = flag.String("port", ":8000", "HTTP service address (e.g., ':8000')")
 | 
| +)
 | 
| +
 | 
|  var (
 | 
|  	scheme = "http"
 | 
|  
 | 
| @@ -362,17 +366,16 @@ func main() {
 | 
|  	http.HandleFunc("/", handleRoot)
 | 
|  	http.HandleFunc(oauthCallbackPath, handleOAuth2Callback)
 | 
|  	http.Handle("/res/", http.FileServer(http.Dir(curdir)))
 | 
| -	port := ":" + strconv.Itoa(defaultPort)
 | 
| -	log.Println("Server is running at " + scheme + "://" + localHost + port)
 | 
| +	log.Println("Server is running at " + scheme + "://" + localHost + *port)
 | 
|  	var err error
 | 
|  	if public {
 | 
|  		log.Println("WARNING: This server is not secure and should not be made " +
 | 
|  			"publicly accessible.")
 | 
|  		scheme = "https"
 | 
| -		err = http.ListenAndServeTLS(port, certFile, keyFile, nil)
 | 
| +		err = http.ListenAndServeTLS(*port, certFile, keyFile, nil)
 | 
|  	} else {
 | 
|  		scheme = "http"
 | 
| -		err = http.ListenAndServe(localHost+port, nil)
 | 
| +		err = http.ListenAndServe(localHost+*port, nil)
 | 
|  	}
 | 
|  	if err != nil {
 | 
|  		log.Println(err.Error())
 | 
| 
 |