added restart mechanism for controller -- see #4