log scripts/stop_running.sh @ 330:276a8517da13 prerelease

age author description
Tue, 17 May 2016 18:16:26 +0100 Giulio Moro Re-introduced screen stop prerelease