--- docman.php 2002/07/27 20:56:52 1.11 +++ docman.php 2002/07/27 22:26:30 1.12 @@ -572,6 +572,7 @@ global $gblEditable, $gblIcon, $gblModDays, $webRoot, $gblHide, $gblIgnoreUnknownFileType, $gblRepositoryDir, + $fsRealmDir, $realm, $realm_sep, $HTTP_GET_VARS, $html, $realm_config; $self = $HTTP_SERVER_VARS["PHP_SELF"] ; @@ -860,12 +861,17 @@ -if (file_exists("$gblRepositoryDir/.info.inc")) { +if (file_exists("$fsRealmDir/$realm".$realm_sep."info.inc")) { + print "