respawn if process died while checking should_respawn() (#1590)

* If process died when checking should_respawn, treat it as over-due and respawn (#32)

* fix how the return value of should_respawn() is checked

tools/roslaunch/src/roslaunch/pmon.py

@@ -586,7 +586,9 @@ def _run(self):
                     break #stop polling
             for d in dead:
                 try:
-                    if d.should_respawn():
+                    # when should_respawn() returns 0.0, bool(0.0) evaluates to False
+                    # work around this by checking if the return value is False
+                    if d.should_respawn() is not False:
                         respawn.append(d)
                     else:
                         self.unregister(d)