#127: fix frontend start/quit notifications.