--- docman.php	2000/08/04 10:07:04	1.6
+++ docman.php	2000/08/04 10:13:10	1.7
@@ -1070,6 +1070,15 @@
 
 //////////////////////////////////////////////////////////////////
 
+function redir_to_url($url) {
+	$url=urlencode(StripSlashes("$relDir/$F"));
+	$url=str_replace("%2F","/",$url);
+	$url=str_replace("+","%20",$url);
+	Header("Location: $url");
+}
+
+//////////////////////////////////////////////////////////////////
+
 // MAIN PROGRAM
 // ============
 // query parameters: capital letters
@@ -1325,8 +1334,7 @@
 	case "Co" :
 		// checkout
 		Lock("$gblFsRoot/$relDir/$F");
-		$url="$relDir/$F"; $url=str_replace(" ","%20",$url);
-		Header("Location: $url");
+		redir_to_url("$relDir/$F");
 		exit;
 	case "Ci" :
 		// upload && update to $relDir
@@ -1341,8 +1349,7 @@
 	case "V" :
 		// view
 		Log("viewed");
-		$url="$relDir/$F"; $url=str_replace(" ","%20",$url);
-		Header("Location: $url");
+		redir_to_url("$relDir/$F");
 		exit;
 	}