schedule() other processes while waiting in ec_master_sync_io().

$Id$

Authors:
Florian Pose <fp@igh-essen.com>