Integers not interpreted as integers

[PyDever]

Integers are currently not interpreted as integers.

from flask import Flask 
import cookie

app = Flask(__name__)

@app.route('/')
def home_page ():
	return "Hello, world!"

@cookie.cookie
def run (port=None):
	app.run(debug=True, port=port)

if __name__ == "__main__":
	run() 

the above snippet WILL NOT WORK unless you first
convert port to an integer using int().