global $pwd;
global $args;
if(count($args) == 2) {
   $dir = $args[1];
   $pos = strpos($dir,'/');
   if($pos == false) {
      $pwd = $pwd . "/" . $dir;
   }
   else {
      if($pos == 0) {
         $pwd = $dir;
      }
      else {
         $pwd = $pwd . "/" . $dir;
      }
   }
}
else {
   $pwd = $default_directory;
}
