changeset 1086 | e1e3fb7634e9 |
parent 1084 | a085151682a2 |
child 1088 | 3177845d0a93 |
--- a/hggtk/serve.py Thu Mar 27 12:51:20 2008 +0000 +++ b/hggtk/serve.py Thu Mar 27 13:03:44 2008 +0000 @@ -284,7 +284,6 @@ parentui.setconfig("web", o, str(opts[o])) if (repo is not None) and (repo.ui != parentui): repo.ui.setconfig("web", o, str(opts[o])) - print "opts:", opts self.httpd = server.create_server(ui, repo) except socket.error, inst: raise util.Abort(_('cannot start server: ') + inst.args[1])