Safety devices, e.g. signalling or controlling devices for use in the discharge of coke for discharging coke