Fixed a problem with the logout when the php session has ended.

tbrehm

2008-06-08 8b5ccd302bd1497de721a25e4ce086bebf95173f

 interface/lib/classes/plugin_base.inc.php

@@ -4,6 +4,7 @@
   

   var $plugin_name;

   var $options;

   var $form;

   

   function onLoad() {