#!/usr/bin/python

# Python Desktop Server
#
#     pyds-stop: Server stop code
#     Copyright (c) 2002, Georg Bauer <gb@murphy.bofh.ms>
#
# Permission is hereby granted, free of charge, to any person obtaining a copy of
# this software and associated documentation files (the "Software"), to deal in
# the Software without restriction, including without limitation the rights to
# use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of 
# the Software, and to permit persons to whom the Software is furnished to do so, 
# subject to the following conditions:
# 
# The above copyright notice and this permission notice shall be included in all 
# copies or substantial portions of the Software.
# 
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS 
# FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR 
# COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER 
# IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
# CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

import PyDS.ConfigLoader
import PyDS.Translation

import os
import signal

print _("killing desktop server ...")

def stop_server():
	mypid = 0
	try:
		pidf = open(_PyDS.PIDFILE)
		mypid = int(pidf.readline())
		pidf.close()
	except:
		print _("Error while reading PID for desktop server")
	if mypid:
		try:
			print _("Sending signal TERM to pid %d") % mypid
			os.kill(mypid, signal.SIGTERM)
		except:
			print _("Error while trying to kill desktop server")

stop_server()
