mercurial/server.py
changeset 32291 bd872f64a8ba
parent 32005 2406dbba49bd
child 32530 3f0936b2cea9
--- a/mercurial/server.py	Sat May 06 04:51:25 2017 +0530
+++ b/mercurial/server.py	Fri Feb 10 16:56:29 2017 -0800
@@ -123,7 +123,7 @@
     if opts.get('port'):
         opts['port'] = util.getport(opts.get('port'))
 
-    alluis = set([ui])
+    alluis = {ui}
     if repo:
         baseui = repo.baseui
         alluis.update([repo.baseui, repo.ui])