Hi Dirk,
I noticed your comment [1] about your plans to write a script that restarts tor should it get killed.
I just wanted to let you know that if you have plans to upgrade to Ubuntu 16.04 you will get this out of the box due to systemd Restart= [2] service configuration.
[1] https://trac.torproject.org/projects/tor/ticket/22255#comment:23 [2] https://gitweb.torproject.org/debian/tor.git/tree/debian/systemd/tor@.servic... https://www.freedesktop.org/software/systemd/man/systemd.service.html#Restar...