+ # source the ssh info if it exists
+ if [ -e ~/.ssh/"ssh_agent_info_$HOSTNAME" ]; then
+ . ~/.ssh/"ssh_agent_info_$HOSTNAME" > /dev/null;
+ fi;
+ PID="$(pgrep -U $(id -u) offlineimap)";
+ if [ -n "$PID" ]; then
+ # if offlineimap has been running for more than 20 minutes
+ if [ $(( $(date +'%s') - $(stat -c '%Y' /proc/$PID/cmdline) )) -gt 1200 ]; then
+ kill "$PID" >/dev/null 2>&1 || true;
+ sleep 1
+ kill -0 "$PID" >/dev/null 2>&1 && kill -9 "$PID" >/dev/null 2>&1;
+ fi;
+ fi;