Falko Timme
2015-02-25 47219676f239ec488bccf6b5803f61c202183f1c
server/plugins-available/shelluser_base_plugin.inc.php
@@ -263,7 +263,7 @@
               $homedir = $data['old']['dir'];
               if(substr($homedir, -1) !== '/') $homedir .= '/';
               $files = array('.bash_logout', '.bash_history', '.bashrc', '.profile');
               $dirs = array('.ssh');
               $dirs = array('.ssh', '.cache');
               foreach($files as $delfile) {
                  if(is_file($homedir . $delfile) && fileowner($homedir . $delfile) == $userid) unlink($homedir . $delfile);
               }