Safety devices, e.g. signalling or controlling devices for use in the discharge of coke {for charging coal}