/[docman]/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.6 by dpavlin, Fri Aug 4 10:07:04 2000 UTC revision 1.7 by dpavlin, Fri Aug 4 10:13:10 2000 UTC
# Line 1070  function Unlock($target) { Line 1070  function Unlock($target) {
1070    
1071  //////////////////////////////////////////////////////////////////  //////////////////////////////////////////////////////////////////
1072    
1073    function redir_to_url($url) {
1074            $url=urlencode(StripSlashes("$relDir/$F"));
1075            $url=str_replace("%2F","/",$url);
1076            $url=str_replace("+","%20",$url);
1077            Header("Location: $url");
1078    }
1079    
1080    //////////////////////////////////////////////////////////////////
1081    
1082  // MAIN PROGRAM  // MAIN PROGRAM
1083  // ============  // ============
1084  // query parameters: capital letters  // query parameters: capital letters
# Line 1325  function Unlock($target) { Line 1334  function Unlock($target) {
1334          case "Co" :          case "Co" :
1335                  // checkout                  // checkout
1336                  Lock("$gblFsRoot/$relDir/$F");                  Lock("$gblFsRoot/$relDir/$F");
1337                  $url="$relDir/$F"; $url=str_replace(" ","%20",$url);                  redir_to_url("$relDir/$F");
                 Header("Location: $url");  
1338                  exit;                  exit;
1339          case "Ci" :          case "Ci" :
1340                  // upload && update to $relDir                  // upload && update to $relDir
# Line 1341  function Unlock($target) { Line 1349  function Unlock($target) {
1349          case "V" :          case "V" :
1350                  // view                  // view
1351                  Log("viewed");                  Log("viewed");
1352                  $url="$relDir/$F"; $url=str_replace(" ","%20",$url);                  redir_to_url("$relDir/$F");
                 Header("Location: $url");  
1353                  exit;                  exit;
1354          }          }
1355    

Legend:
Removed from v.1.6  
changed lines
  Added in v.1.7

  ViewVC Help
Powered by ViewVC 1.1.26