tree c4bade1bb1d5c3fbbbe1fe1d43fd3be7d1dd126e
parent 22ae984b360a3675d68cadbcff456b14f562d4be
author Florian Nücke <florian@nuecke.de> 1381339965 +0200
committer Florian Nücke <florian@nuecke.de> 1381339965 +0200

fixed shell crashing when monitor was removed; fixed empty entries being added to history when monitor was removed