old_contents: #coding:utf8
  
  from twisted.internet import reactor
  
  from syncplay.server import SyncFactory
  from syncplay.ui.ConfigurationGetter import ServerConfigurationGetter
   
  argsGetter = ServerConfigurationGetter()
  args = argsGetter.getConfiguration()
  reactor.listenTCP(args.port, SyncFactory(args.password, args.isolate_rooms))
  reactor.run()
  
new_contents: #coding:utf8
  
  from twisted.internet import reactor
  
  from syncplay.server import SyncFactory
  from syncplay.ui.ConfigurationGetter import ServerConfigurationGetter
   
  argsGetter = ServerConfigurationGetter()
  args = argsGetter.getConfiguration()
  reactor.listenTCP(int(args.port), SyncFactory(args.password, args.isolate_rooms))
  reactor.run()
  
subject: Fix on choosing ports for server