diff options
| author | jsorg71 <jsorg71> | 2006-02-12 19:29:16 +0000 |
|---|---|---|
| committer | jsorg71 <jsorg71> | 2006-02-12 19:29:16 +0000 |
| commit | da4df86fc0afb3761a39a7f2bd18275f060e8b75 (patch) | |
| tree | ee4bee022cdfea92f18ff52a72ed57c0624d3720 /instfiles | |
| parent | 37c764bdbb6f59c0f8809f9ad9feb820b28777cc (diff) | |
| download | xrdp-proprietary-da4df86fc0afb3761a39a7f2bd18275f060e8b75.tar.gz xrdp-proprietary-da4df86fc0afb3761a39a7f2bd18275f060e8b75.zip | |
xrdp.pid cleanup too
Diffstat (limited to 'instfiles')
| -rwxr-xr-x | instfiles/xrdp_control.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/instfiles/xrdp_control.sh b/instfiles/xrdp_control.sh index 4df4b06b..f1b1f7f2 100755 --- a/instfiles/xrdp_control.sh +++ b/instfiles/xrdp_control.sh @@ -39,6 +39,11 @@ check_up () { then if [ -e /var/run/sesman.pid ] ; then rm /var/run/sesman.pid ; fi fi + # Cleanup : If xrdp isn't running, but the pid exists, erase it. + if [ "$xrdpup" == "" ] + then + if [ -e /var/run/xrdp.pid ] ; then rm /var/run/xrdp.pid ; fi + fi } case "$1" in |