Navigation.py: dont restart (alternative) service when not needed
authorghost <andreas.monzner@multimedia-labs.de>
Mon, 29 Mar 2010 10:15:32 +0000 (12:15 +0200)
committerghost <andreas.monzner@multimedia-labs.de>
Wed, 31 Mar 2010 08:10:21 +0000 (10:10 +0200)
commitda4675887fff4d24cc775b42a25a10162f117ad7
tree14ed92d9a84ff77bbac2f6b7a20306f245f9d26b
parenta3314e81d5904501481c1ba46f70162a4487a158
Navigation.py: dont restart (alternative) service when not needed
this fixes bug #356
Navigation.py