Marco Pesenti Gritti
|
71f865da3f
|
Shutdown the xsmp server. #7566
|
2008-07-24 15:08:51 +02:00 |
|
Marco Pesenti Gritti
|
9de8746df1
|
Remove a leftover debug print and fix a typo.
|
2008-06-10 23:45:24 +02:00 |
|
Marco Pesenti Gritti
|
dc8841b5ba
|
s/Session/SessionManager by tomeu suggestion
|
2008-06-06 20:13:27 +02:00 |
|
Marco Pesenti Gritti
|
50f79e6323
|
First go at session management. Not asking review since
it's a bunch of ugly C code imported from gnome-session.
Will clean it up a bit but I don't plan to make it too shiny :)
|
2008-06-06 19:13:10 +02:00 |
|