src/eric7/eric7_server.py

branch
server
changeset 10777
441e6aeeaf68
parent 10762
d141283f7334
child 10778
a3fe23f8d0ba
equal deleted inserted replaced
10776:ec110553c5ab 10777:441e6aeeaf68
67 67
68 def main(): 68 def main():
69 """ 69 """
70 Main entry point into the application. 70 Main entry point into the application.
71 """ 71 """
72 global supportedExtensions
73
74 parser = createArgumentParser() 72 parser = createArgumentParser()
75 args = parser.parse_args() 73 args = parser.parse_args()
76 74
77 server = EricServer(port=args.port, useIPv6=args.with_ipv6) 75 server = EricServer(port=args.port, useIPv6=args.with_ipv6)
78 ok = server.run() 76 ok = server.run()

eric ide

mercurial