Patrick Anders
2014-12-08 0c1fecfdf0db2be953c11d70521817d0fda76df4
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);
               }