stop intervention timer if user lost focus to the code ocean tab
stop intervention timer if user lost focus to the code ocean tab
openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean