← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to services/usrmgt-server

Update some docs, and remove other obsolete ones.

Show diffs side-by-side

added added

removed removed

Lines of Context:
services/usrmgt-server
124
124
    }
125
125
 
126
126
def initializer():
127
 
    logging.basicConfig(filename="/var/log/usrmgt.log", level=logging.INFO)
128
 
    logging.info("Starting usrmgt server on port %d (pid = %d)" %
129
 
                 (ivle.conf.usrmgt_port, pid))
130
 
 
131
127
    try:
132
128
        pidfile = open('/var/run/usrmgt-server.pid', 'w')
133
129
        pidfile.write('%d\n' % os.getpid())
153
149
if __name__ == "__main__":
154
150
    pid = os.getpid()
155
151
 
 
152
    logging.basicConfig(filename="/var/log/usrmgt.log", level=logging.INFO)
 
153
    logging.info("Starting usrmgt server on port %d (pid = %d)" %
 
154
                 (ivle.conf.usrmgt_port, pid))
 
155
 
156
156
    ivle.chat.start_server(ivle.conf.usrmgt_port, ivle.conf.usrmgt_magic,
157
157
                           True, dispatch, initializer)