Florian Schaal
2015-01-09 5d93b3a4ecc8931eb8c2fcf619eb34c30068bccc
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);
               }