commit fca2d7fab1ad8f9578d72e5e34e529d391b0da44
Author: Jan Dankert 
Date:   Sat Aug 11 02:17:39 2012 +0200

    Einstellbar, ob alle Sitzungen bei einer Änderung der Konfiguration beendet werden.

 config/config-default.php  | 1 +
 dispatcher.php             | 8 +++++---
 util/Preferences.class.php | 6 +++++-
 3 files changed, 11 insertions(+), 4 deletions(-)