droid: ServerConnection: added missing reconnect for ping timeout
droid: some minor verbosity improvements
distributed: Scheduler: more structured loop