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

« back to all changes in this revision

Viewing changes to services/usrmgt-server

  • Committer: Matt Giuca
  • Date: 2009-02-24 05:59:10 UTC
  • mto: This revision was merged to the branch mainline in revision 1119.
  • Revision ID: matt.giuca@gmail.com-20090224055910-gevty3r7urdsq4zw
File browser: Re-styled the path area, now has a yellow 3D-looking gradient
    thing.
    Added image-source/filepathbar-bg.svg, and corresponding png.
    Changed filesystem/browser/media/browser.css to the new style.
    (Note: This breaks the two bars below it; that's OK, we're about to
    restyle them too).
Removed redundant span from filesystem/browser/template.html.

Show diffs side-by-side

added added

removed removed

Lines of Context:
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
 
127
131
    try:
128
132
        pidfile = open('/var/run/usrmgt-server.pid', 'w')
129
133
        pidfile.write('%d\n' % os.getpid())
149
153
if __name__ == "__main__":
150
154
    pid = os.getpid()
151
155
 
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)