zulip_botserver: Enforce that port argument is an int.
This commit is contained in:
		
							parent
							
								
									5ef224f2a2
								
							
						
					
					
						commit
						70dd05e5a6
					
				
					 1 changed files with 1 additions and 0 deletions
				
			
		| 
						 | 
				
			
			@ -129,6 +129,7 @@ def parse_args() -> argparse.Namespace:
 | 
			
		|||
    parser.add_argument('--port',
 | 
			
		||||
                        action='store',
 | 
			
		||||
                        default=5002,
 | 
			
		||||
                        type=int,
 | 
			
		||||
                        help='Port on which you want to run the server')
 | 
			
		||||
    return parser.parse_args()
 | 
			
		||||
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue