propagate session closings back to frontend

Fixes #140.