Tristan Van Berkom authored Aug 16, 2018 and Tristan Van Berkom committed Aug 16, 2018

Use the optionally implemented desktop notification method
to notify when a session completes.

Previously, this used to only notify when an interactive prompt
appears.

This is an attempt to fix #385

_frontend/app.py: Notify session completions

See merge request !673

Tiago Gomes authored Aug 16, 2018 and Javier Jardón committed Aug 16, 2018

os.errno does no longer work with Python 3.7

Closes #577.