Simple Device Manager, and an is_pid_running()