#!/bin/sh if [ -z "$XMD_SESSION_PID" ]; then echo "ERR session is not running (\$XMD_SESSION_PID not set)" exit 1 fi kill "$XMD_SESSION_PID"