Reloading editor when session ends
Merge pull request #432 from dswd/session-timeout

Reloading editor when session ends