/[docman2]/docman.php
This is repository of my old source code which isn't updated any more. Go to git.rot13.org for current projects!
ViewVC logotype

Diff of /docman.php

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.19 by dpavlin, Sun Jul 28 17:31:03 2002 UTC revision 1.23 by dpavlin, Sun Jul 28 19:52:11 2002 UTC
# Line 90  Line 90 
90          if ($fsDocumentRoot == "") Error("Configuration error","Can't get SCRIPT_FILENAME from your web server. Please set <tt>\$fsDocumentRoot</tt> in <tt>\$</tt>",1);          if ($fsDocumentRoot == "") Error("Configuration error","Can't get SCRIPT_FILENAME from your web server. Please set <tt>\$fsDocumentRoot</tt> in <tt>\$</tt>",1);
91    
92          // globals for later          // globals for later
93          $gblLogin = $HTTP_SERVER_VARS["PHP_AUTH_USER"];          $gblLogin = HTTP_SERVER_VAR("PHP_AUTH_USER");
94          $gblPasswd = $HTTP_SERVER_VARS["PHP_AUTH_PW"];          $gblPasswd = HTTP_SERVER_VAR("PHP_AUTH_PW");
95    
96  //////////////////////////////////////////////////////////////////  //////////////////////////////////////////////////////////////////
97    
# Line 155  function EndHTML() { Line 155  function EndHTML() {
155    
156  function DetailPage($fsRoot,$relDir,$fn) {  function DetailPage($fsRoot,$relDir,$fn) {
157                    
158          global $gblEditable, $gblImages, $webRoot, $html, $HTTP_SERVER_VARS ;          global $gblEditable, $gblImages,
159                    $gblDateFmt, $gblTimeFmt,
160                    $webRoot, $html,
161                    $HTTP_SERVER_VARS ;
162          $self = $HTTP_SERVER_VARS["PHP_SELF"] ;          $self = $HTTP_SERVER_VARS["PHP_SELF"] ;
163    
164          $relPath  = $relDir . "/" . $fn ;          $relPath  = $relDir . "/" . $fn ;
# Line 188  function DetailPage($fsRoot,$relDir,$fn) Line 191  function DetailPage($fsRoot,$relDir,$fn)
191          echo "<H3>" . $relDir . "/" . $fn . "</H3>" ;          echo "<H3>" . $relDir . "/" . $fn . "</H3>" ;
192          if ($exists) {  // get file info          if ($exists) {  // get file info
193                  $fsize = filesize($fsPath) ;                  $fsize = filesize($fsPath) ;
194                  $fmodified = date("$GLOBALS[gblDateFmt] $GLOBALS[gblTimeFmt]", filemtime($fsPath)) ;                  $fmodified = date("$gblDateFmt $gblTimeFmt", filemtime($fsPath)) ;
195                  $faccessed = date("$GLOBALS[gblDateFmt] $GLOBALS[gblTimeFmt]", fileatime($fsPath)) ;                  $faccessed = date("$gblDateFmt $gblTimeFmt", fileatime($fsPath)) ;
196                  $fuid=fileowner($fsPath);                  $fuid=fileowner($fsPath);
197                  $fgid=filegroup($fsPath);                  $fgid=filegroup($fsPath);
198                  $userinfo = posix_getpwuid($fuid);                  $userinfo = posix_getpwuid($fuid);
# Line 578  function Navigate($fsRoot,$relDir) { Line 581  function Navigate($fsRoot,$relDir) {
581    
582          global $gblEditable, $gblIcon, $gblModDays, $webRoot, $gblHide,          global $gblEditable, $gblIcon, $gblModDays, $webRoot, $gblHide,
583                  $gblIgnoreUnknownFileType, $gblRepositoryDir,                  $gblIgnoreUnknownFileType, $gblRepositoryDir,
584                  $gblLogin,                  $gblLogin, $gblUserName, $gblDateFmt, $gblTimeFmt,
585                  $fsRealmDir, $realm, $realm_sep,                  $fsRealmDir, $realm, $realm_sep,
586                  $html, $realm_config,                  $html, $realm_config,
587                  $HTTP_GET_VARS, $HTTP_SERVER_VARS;                  $HTTP_GET_VARS, $HTTP_SERVER_VARS;
# Line 593  function Navigate($fsRoot,$relDir) { Line 596  function Navigate($fsRoot,$relDir) {
596          global $debug;          global $debug;
597          $debug .= "[$gblLogin|$relDir] before >";          $debug .= "[$gblLogin|$relDir] before >";
598    
599          if (! check_perm($relDir,(trperm_b | trperm_r)))          if (! check_perm($relDir,trperm_b))
600                  Error("Access denied","User <tt>$gblLogin</tt> tried to access <tt>$relDir</tt> without valid trustee.",1);                  Error("Access denied","User <tt>$gblLogin</tt> tried to access <tt>$relDir</tt> without valid trustee.",1);
601          $debug .= "< afeter";          $debug .= "< afeter";
602    
# Line 816  function Navigate($fsRoot,$relDir) { Line 819  function Navigate($fsRoot,$relDir) {
819                  $ext = strtolower(strrchr($file,".")) ;                  $ext = strtolower(strrchr($file,".")) ;
820    
821                  if ($file_lock) {                  if ($file_lock) {
822                          if ($file_lock == $GLOBALS[gblUserName]) {                          if ($file_lock == $gblUserName) {
823                                  $b.="<A HREF=\"$self?A=Ci&D=".urlencode($relDir)."&F=".urlencode($file);                                  $b.="<A HREF=\"$self?A=Ci&D=".urlencode($relDir)."&F=".urlencode($file);
824                                  $b.="\" TITLE=\"Checkin (update) file on server\">" ;                                  $b.="\" TITLE=\"Checkin (update) file on server\">" ;
825                                  $file_url_html=$b;                                  $file_url_html=$b;
# Line 844  function Navigate($fsRoot,$relDir) { Line 847  function Navigate($fsRoot,$relDir) {
847                          }                          }
848                  }                  }
849    
850                  $mod = date("$GLOBALS[gblDateFmt] $GLOBALS[gblTimeFmt]",$mod);                  $mod = date("$gblDateFmt $gblTimeFmt",$mod);
851    
852                  include("$html/Navigate-fileEntry.html");                  include("$html/Navigate-fileEntry.html");
853    
# Line 956  function Error($title,$text="",$sysadmin Line 959  function Error($title,$text="",$sysadmin
959    
960  function LogIt($target,$msg, $changelog=0) {  function LogIt($target,$msg, $changelog=0) {
961    
962            global $gblDateFmt, $gblTimeFmt, $gblUserName, $gblFsRoot;
963    
964          $dir=dirname($target);          $dir=dirname($target);
965          if (! file_exists($dir."/.log")) {          if (! file_exists($dir."/.log")) {
966                  if (! @mkdir($dir."/.log",0700)) Error("docman installation problem","can't create log directory <tt>$dir/.log</tt>",1);                  if (! @mkdir($dir."/.log",0700)) Error("docman installation problem","can't create log directory <tt>$dir/.log</tt>",1);
# Line 963  function LogIt($target,$msg, $changelog= Line 968  function LogIt($target,$msg, $changelog=
968          $file=basename($target);          $file=basename($target);
969    
970          $log=fopen("$dir/.log/$file","a+");          $log=fopen("$dir/.log/$file","a+");
971          fputs($log,date("$GLOBALS[gblDateFmt]\t$GLOBALS[gblTimeFmt]").          fputs($log,date("$gblDateFmt\t$gblTimeFmt").
972                  "\t$GLOBALS[gblUserName]\t$msg\n");                  "\t$gblUserName\t$msg\n");
973          fclose($log);          fclose($log);
974    
975          if (! $changelog) return;          if (! $changelog) return;
976    
         global $gblFsRoot;  
977          $log=fopen("$gblFsRoot/.changelog","a+");          $log=fopen("$gblFsRoot/.changelog","a+");
978          if (substr($target,0,strlen($gblFsRoot)) == $gblFsRoot)          if (substr($target,0,strlen($gblFsRoot)) == $gblFsRoot)
979                  $target=substr($target,strlen($gblFsRoot),strlen($target)-strlen($gblFsRoot));                  $target=substr($target,strlen($gblFsRoot),strlen($target)-strlen($gblFsRoot));
980          $msg=str_replace("\t"," ",$msg);          $msg=str_replace("\t"," ",$msg);
981          fputs($log,time()."\t$target\t$GLOBALS[gblUserName]\t$msg\n");          fputs($log,time()."\t$target\t$gblUserName\t$msg\n");
982          fclose($log);          fclose($log);
983    
984          // FIX: implement e-mail notification based on $changelog          // FIX: implement e-mail notification based on $changelog
# Line 1034  function MoveTo($source,$folder) { Line 1038  function MoveTo($source,$folder) {
1038    
1039  function Lock($target) {  function Lock($target) {
1040    
1041            global $gblUserName;
1042    
1043          $target=stripSlashes($target);          $target=stripSlashes($target);
1044          $dir=dirname($target);          $dir=dirname($target);
1045          if (! file_exists($dir."/.lock")) {          if (! file_exists($dir."/.lock")) {
# Line 1045  function Lock($target) { Line 1051  function Lock($target) {
1051                  LogIt($target,"attempt to locked allready locked file!");                  LogIt($target,"attempt to locked allready locked file!");
1052          } else {          } else {
1053                  $lock=fopen("$dir/.lock/$file","w");                  $lock=fopen("$dir/.lock/$file","w");
1054                  fputs($lock,"$GLOBALS[gblUserName]\n");                  fputs($lock,"$gblUserName\n");
1055                  fclose($lock);                  fclose($lock);
1056    
1057                  LogIt($target,"file locked");                  LogIt($target,"file locked");
# Line 1094  function urlpath($url) { Line 1100  function urlpath($url) {
1100  //////////////////////////////////////////////////////////////////  //////////////////////////////////////////////////////////////////
1101    
1102  function safe_rename($fromdir,$fromfile,$tofile) {  function safe_rename($fromdir,$fromfile,$tofile) {
1103    
1104            global $gblNumBackups;
1105    
1106          function try_rename($from,$to) {          function try_rename($from,$to) {
1107  #               print "$from -> $to\n";  #               print "$from -> $to\n";
1108                  if (file_exists($from) && is_writeable(dirname($to))) {                  if (file_exists($from) && is_writeable(dirname($to))) {
# Line 1123  function safe_rename($fromdir,$fromfile, Line 1132  function safe_rename($fromdir,$fromfile,
1132          try_dir("$todir/.lock");          try_dir("$todir/.lock");
1133          try_rename("$fromdir/.lock/$fromfile","$todir/.lock/$tofile");          try_rename("$fromdir/.lock/$fromfile","$todir/.lock/$tofile");
1134          try_dir("$todir/.bak");          try_dir("$todir/.bak");
1135          for($i=0;$i<=$GLOBALS[gblNumBackups];$i++) {          for($i=0;$i<=$gblNumBackups;$i++) {
1136                  try_rename("$fromdir/.bak/$i/$fromfile","$todir/.bak/$i/$tofile");                  try_rename("$fromdir/.bak/$i/$fromfile","$todir/.bak/$i/$tofile");
1137          }          }
1138  }  }
# Line 1151  function rrmdir($dir) { Line 1160  function rrmdir($dir) {
1160    
1161  function DisplayChangeLog($day) {  function DisplayChangeLog($day) {
1162    
1163          global $gblFsRoot,$HTTP_SERVER_VARS;          global $gblFsRoot, $gblDateFmt, $gblTimeFmt,
1164                    $HTTP_SERVER_VARS;
1165    
1166            $self  = $HTTP_SERVER_VARS["PHP_SELF"];
1167    
1168          if (!file_exists("$gblFsRoot/.changelog")) return;          if (!file_exists("$gblFsRoot/.changelog")) return;
1169          $log=fopen("$gblFsRoot/.changelog","r");          $log=fopen("$gblFsRoot/.changelog","r");
# Line 1170  function DisplayChangeLog($day) { Line 1182  function DisplayChangeLog($day) {
1182          print "<table border=0 width=100%>\n";          print "<table border=0 width=100%>\n";
1183          while ($e = array_shift($logarr)) {          while ($e = array_shift($logarr)) {
1184                  $cl=$cl1; $cl1=$cl2; $cl2=$cl;                  $cl=$cl1; $cl1=$cl2; $cl2=$cl;
1185                  $date = date("$GLOBALS[gblDateFmt]", $e[0]);                  $date = date($gblDateFmt, $e[0]);
1186                  $time = date("$GLOBALS[gblTimeFmt]", $e[0]);                  $time = date($gblTimeFmt, $e[0]);
1187                  $dir = dirname($e[1]);                  $dir = dirname($e[1]);
1188                  $file = basename($e[1]);                  $file = basename($e[1]);
1189                  print "<tr><td$cl>$date</td><td$cl>$time</td><td$cl><a href=\"$HTTP_SERVER_VARS[PHP_SELF]?D=".urlencode($dir)."\">$dir</a>/$file</td><td$cl>$e[2]</td><td$cl>$e[3]</td></tr>\n";                  print "<tr><td$cl>$date</td><td$cl>$time</td><td$cl><a href=\"$HTTP_SERVER_VARS[PHP_SELF]?D=".urlencode($dir)."\">$dir</a>/$file</td><td$cl>$e[2]</td><td$cl>$e[3]</td></tr>\n";
1190          }          }
1191          print "</table>";          print "</table>";
1192          print "<p>".GifIcon(up)." Back to <a href=$HTTP_SERVER_VARS[PHP_SELF]>front page</a>.</p>";          print "<p>".GifIcon("up")." Back to <a href=\"$self\">front page</a>.</p>";
1193  }  }
1194    
1195  //////////////////////////////////////////////////////////////////  //////////////////////////////////////////////////////////////////
# Line 1393  function in_group($user,$group) { Line 1405  function in_group($user,$group) {
1405  }  }
1406    
1407  // helper function  // helper function
1408  function unroll_perm($u,$t,$user,$perm) {  function unroll_perm($u,$t,$perm,$one_level) {
1409    
1410          // check user FIX          if ($t & trmask_one_level && !$one_level) return $perm;
         if ($t & trmask_not && ($u==$user)) continue;  
         if (!($t & trmask_not) && ($u!=$user)) continue;  
1411    
1412          if ($t & trmask_deny) {          if ($t & trmask_deny) {
1413                  if ($t & trmask_clear) {                  if ($t & trmask_clear) {
# Line 1429  $debug .= "<br>check_trustee $path ... " Line 1439  $debug .= "<br>check_trustee $path ... "
1439                  $tmppath.=array_shift($path_arr);                  $tmppath.=array_shift($path_arr);
1440  $debug.= ">> $tmppath ";  $debug.= ">> $tmppath ";
1441    
                 # clear one level flag  
                 $perm['allow'] &= ~trmask_one_level;  
                 $perm['deny'] &= ~trmask_one_level;  
   
1442                  if (! isset($trustees[$tmppath])) continue;                  if (! isset($trustees[$tmppath])) continue;
1443                  $tr = $trustees[$tmppath];                  $tr = $trustees[$tmppath];
1444    
1445                    $one_level = (!count($path_arr));
1446    $debug.=" O($one_level) ";
1447    
1448                  if (isset($tr)) {                  if (isset($tr)) {
1449                          // first apply trustee for all                          // first apply trustee for all
1450                          if (isset($tr['*'])) {                          if (isset($tr['*'])) {
1451                                  $perm = unroll_perm($user,$tr['*'],$user, $perm);                                  $perm = unroll_perm($user,$tr['*'],$perm, $one_level);
1452                                  unset($tr['*']);                                  unset($tr['*']);
1453                          }                          }
1454                          // then apply group policies                          // then apply not and group policies
1455                          foreach ($tr as $g=>$t) {                          foreach ($tr as $g=>$t) {
1456                                  if ($t & trmask_group && in_group($user,$g)) {                                  if ($t & trmask_not && $g != $user) {
1457                                            $t = $t & ~trmask_not;
1458                                            $perm = unroll_perm($user,$t,$perm, $one_level);
1459                                            unset($tr[$g]);
1460    
1461                                    } elseif ($t & trmask_group && in_group($user,$g)) {
1462                                          // resolv user                                          // resolv user
1463                                          $t = $t & ~trmask_group;                                          $t = $t & ~trmask_group;
1464                                          $perm = unroll_perm($user,$t,$user, $perm);                                          $perm = unroll_perm($user,$t,$perm, $one_level);
1465                                          unset($tr[$g]);                                          unset($tr[$g]);
1466                                  }                                  }
1467                          }                          }
1468                          // then apply user policy                          // then apply user policy
1469                          if (isset($tr[$user])) {                          if (isset($tr[$user])) {
1470                                  $perm = unroll_perm($user,$tr[$user],$user, $perm);                                  $perm = unroll_perm($user,$tr[$user],$perm,$one_level);
1471                                  unset($tr[$user]);                                  unset($tr[$user]);
1472                          }                          }
1473                  }                  }
# Line 1528  function check_filename($file) { Line 1542  function check_filename($file) {
1542  // [replacement for register_globals in php.ini]  // [replacement for register_globals in php.ini]
1543    
1544  function HTTP_GET_VAR($var) {  function HTTP_GET_VAR($var) {
1545          global $HTTP_GET_VARS, $GLOBALS;          global $HTTP_GET_VARS, ${$var};
1546          if (isset($HTTP_GET_VARS[$var])) {          if (isset($HTTP_GET_VARS[$var])) {
1547                  $GLOBALS[$var] = stripSlashes($HTTP_GET_VARS[$var]);                  $$var = stripSlashes($HTTP_GET_VARS[$var]);
1548                  return $GLOBALS[$var];                  return $$var;
1549          }          }
1550  }  }
1551    
1552  function HTTP_POST_VAR($var) {  function HTTP_POST_VAR($var) {
1553          global $HTTP_GET_VARS, $GLOBALS;          global $HTTP_POST_VARS, ${$var};
1554          if (isset($HTTP_GET_VARS[$var])) {          if (isset($HTTP_POST_VARS[$var])) {
1555                  $GLOBALS[$var] = stripSlashes($HTTP_GET_VARS[$var]);                  $$var = $HTTP_POST_VARS[$var];
1556                  return $GLOBALS[$var];                  return $$var;
1557            }
1558    }
1559    
1560    function HTTP_SERVER_VAR($var) {
1561            global $HTTP_SERVER_VARS, ${$var};
1562            if (isset($HTTP_SERVER_VARS[$var])) {
1563                    $$var = $HTTP_SERVER_VARS[$var];
1564                    return $$var;
1565          }          }
1566  }  }
1567    
# Line 1650  function Warn($text) { Line 1672  function Warn($text) {
1672          // read mime.types          // read mime.types
1673          readMime();          readMime();
1674    
1675    HTTP_POST_VAR("FN");
1676    
1677          if ($HTTP_SERVER_VARS["REQUEST_METHOD"] == "POST") {          if ($HTTP_SERVER_VARS["REQUEST_METHOD"] == "POST") {
1678                  // take variables from server                  // take variables from server
1679                  if (HTTP_POST_VAR("FN")) check_filename($FN);                  if (HTTP_POST_VAR("FN"))
1680                            check_filename($FN);
1681                  if (HTTP_POST_VAR("DIR")) {                  if (HTTP_POST_VAR("DIR")) {
1682                          check_dirname($DIR);                          check_dirname($DIR);
1683                          $relDir = $DIR;                          $relDir = $DIR;
1684                  } else {                  } else {
1685                          trigger_error("Can't get DIR",E_USER_WARNING);                          trigger_error("Can't get DIR",E_USER_WARNING);
1686                            $relDir = "/";
1687                  }                  }
1688                  if (HTTP_POST_VAR("RELPATH")) check_dirname($RELPATH);                  if (HTTP_POST_VAR("RELPATH")) check_dirname($RELPATH);
1689                  HTTP_POST_VAR("T");                  HTTP_POST_VAR("T");
1690                  HTTP_POST_VAR("CONFIRM");                  HTTP_POST_VAR("CONFIRM");
   
1691          } else {          } else {
1692                  // get                  // get
1693                  HTTP_GET_VAR("A");                  HTTP_GET_VAR("A");
# Line 1707  function Warn($text) { Line 1732  function Warn($text) {
1732                          Error("You must select file with browse to upload it!");                          Error("You must select file with browse to upload it!");
1733                  }                  }
1734    
1735                  $FILENAME = $HTTP_POST_VARS["FILENAME"];                  if (HTTP_POST_VAR("FILENAME")) check_filename($FILENAME);
                 check_filename($FILENAME);  
1736    
1737                  if (! isset($FILENAME)) {       // from update file                  if (! isset($FILENAME)) {       // from update file
1738                          $target = "$fsDir/".basename($FN);                          $target = "$fsDir/".basename($FN);
# Line 1721  function Warn($text) { Line 1745  function Warn($text) {
1745                  if (! file_exists($dir."/.bak")) {                  if (! file_exists($dir."/.bak")) {
1746                          mkdir($dir."/.bak",0700);                          mkdir($dir."/.bak",0700);
1747                  }                  }
1748                  if (! file_exists($dir."/.bak/$GLOBALS[gblNumBackups]")) {                  if (! file_exists($dir."/.bak/$gblNumBackups")) {
1749                          mkdir($dir."/.bak/$GLOBALS[gblNumBackups]",0700);                          mkdir($dir."/.bak/$gblNumBackups",0700);
1750                  }                  }
1751                  $file=basename($target);                  $file=basename($target);
1752                  for($i=$GLOBALS[gblNumBackups]-1;$i>0;$i--) {                  for($i=$gblNumBackups-1;$i>0;$i--) {
1753                          MoveTo("$dir/.bak/$i/$file","$dir/.bak/".($i+1)."/");                          MoveTo("$dir/.bak/$i/$file","$dir/.bak/".($i+1)."/");
1754                  }                  }
1755                  MoveTo($target,$dir."/.bak/1/");                  MoveTo($target,$dir."/.bak/1/");
# Line 1751  function Warn($text) { Line 1775  function Warn($text) {
1775                  if (!($writable || (!$exists && $legaldir)))                  if (!($writable || (!$exists && $legaldir)))
1776                          Error("Write denied",$RELPATH) ;                          Error("Write denied",$RELPATH) ;
1777                  $fh = fopen($path, "w") ;                  $fh = fopen($path, "w") ;
1778                  $FILEDATA=stripSlashes($FILEDATA);                  HTTP_POST_VAR("FILEDATA");
1779                  fwrite($fh,$FILEDATA) ;                  fwrite($fh,$FILEDATA) ;
1780                  fclose($fh) ;                  fclose($fh) ;
1781                  clearstatcache() ;                  clearstatcache() ;
# Line 1760  function Warn($text) { Line 1784  function Warn($text) {
1784    
1785          case "CREATE" :          case "CREATE" :
1786                  // we know $fsDir exists                  // we know $fsDir exists
1787                  if ($FN == "") break;           // no filename!                  if (! check_perm($relDir, trperm_w))
1788                            Error("Write access denied","You don't have permission to write in <tt>$relDir</tt>");
1789                    if ($T == "D") $type = "directory";
1790                    else $type ="file";
1791                    if ($FN == "") Error("Can't create $type","You must enter name of $type to create it.");
1792                  if (!is_writeable($fsDir)) Error("Write denied",$relDir) ;                  if (!is_writeable($fsDir)) Error("Write denied",$relDir) ;
1793                  $path = $fsDir . "/" . $FN ;  // file or dir to create                  $path = $fsDir . "/" . $FN ;  // file or dir to create
1794                  $relPath = $relDir . "/" . $FN ;                  $relPath = $relDir . "/" . $FN ;
# Line 1786  function Warn($text) { Line 1814  function Warn($text) {
1814                          } else {                          } else {
1815                                  Error("Creation of file $relPath failed -- $path");                                  Error("Creation of file $relPath failed -- $path");
1816                          }                          }
1817                          $tstr = "$PHP_SELF?A=E&D=".urlencode($relDir)."&F=".urlencode($FN) ;                          $tstr = $HTTP_SERVER_VARS["PHP_SELF"]."?A=E&D=".urlencode($relDir)."&F=".urlencode($FN) ;
1818                          header("Location: " . $tstr) ;                          header("Location: " . $tstr) ;
1819                          exit ;                          exit ;
1820                  }                  }
# Line 1865  function Warn($text) { Line 1893  function Warn($text) {
1893    
1894          // common to all POSTs : redirect to directory view ($relDir)          // common to all POSTs : redirect to directory view ($relDir)
1895          if (isset($POSTACTION)) {          if (isset($POSTACTION)) {
1896                  $tstr = $PHP_SELF . "?D=" . urlencode($relDir) ;                  $tstr = $HTTP_SERVER_VARS["PHP_SELF"]."?D=".urlencode($relDir);
1897                  header("Location: " . $tstr) ;                    header("Location: ".$tstr) ;  
1898                  exit ;                  exit ;
1899          }          }
1900                    
Legend:
Removed from v.1.19  
changed lines
  Added in v.1.23
  ViewVC Help
Powered by ViewVC 1.1.26