kill pump-loop after 5 minutes of not writing to pump-loop.log
kill pump-loop after 5 minutes of not writing to pump-loop.log

PieterGit/oref0,PieterGit/oref0,openaps/oref0,openaps/oref0,openaps/oref0,PieterGit/oref0,openaps/oref0,PieterGit/oref0