#!/bin/bash

# restartWindowManager
#
# Purpose: To issue a kill to the window manager. The window manager should
#          automatically be restarted after this.
#
# Usage: restartWindowManager
#
# 08/04/2005  S. Nichols  Initial version

WINDOWMANAGER="fluxbox"

actzTrace "XRWM   T: -> restartWindowManager"

ps -A | grep $WINDOWMANAGER | (
   while read wmpid rest; do
       actzTrace "XRWM   F: killing windowmanager $WINDOWMANAGER with PID $wmpid";
       echo "killing windowmanager $WINDOWMANAGER with PID $wmpid";
       kill $wmpid;
   done
)

actzTrace "XRWM   T: <- restartWindowManager"

exit 0

