diff options
| author | Robert Ancell <robert.ancell@canonical.com> | 2013-08-19 15:28:41 +1200 |
|---|---|---|
| committer | Robert Ancell <robert.ancell@canonical.com> | 2013-08-19 15:28:41 +1200 |
| commit | 9a35c05e61a7be0441f6c04119c10844e9eb9efb (patch) | |
| tree | 94bcbbdb991ca0aee00c971519c8b77a30a60b06 /debian/lightdm.init | |
| parent | e4edb98029e6d8c3589ba2ad7623b2009fbcea00 (diff) | |
| download | lightdm-9a35c05e61a7be0441f6c04119c10844e9eb9efb.tar.gz | |
Update packaging
Diffstat (limited to 'debian/lightdm.init')
| -rw-r--r-- | debian/lightdm.init | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/lightdm.init b/debian/lightdm.init index 091e3a37..b2b58c70 100644 --- a/debian/lightdm.init +++ b/debian/lightdm.init @@ -42,7 +42,7 @@ HEED_DEFAULT_DISPLAY_MANAGER= DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager PATH=/bin:/usr/bin:/sbin:/usr/sbin -DAEMON=/usr/bin/lightdm +DAEMON=/usr/sbin/lightdm PIDFILE=/var/run/lightdm.pid if [ -r /etc/default/locale ]; then @@ -61,7 +61,7 @@ case "$1" in start) if [ "$HEED_DEFAULT_DISPLAY_MANAGER" = "true" ] && [ -e $DEFAULT_DISPLAY_MANAGER_FILE ] && - [ "$(cat $DEFAULT_DISPLAY_MANAGER_FILE)" != "/usr/bin/lightdm" ]; then + [ "$(cat $DEFAULT_DISPLAY_MANAGER_FILE)" != "/usr/bin/lightdm" -a "$(cat $DEFAULT_DISPLAY_MANAGER_FILE)" != "/usr/sbin/lightdm" ]; then echo "Not starting X display manager (lightdm); it is not the default" \ "display manager." else |