Changeset 15172

Show
Ignore:
Timestamp:
02.04.2008 18:51:27 (11 years ago)
Author:
ak19
Message:

2 changes: 1. added file-exists command and matching routine file_exists; 2. modified run_script to also deal with replace_srcdoc_with_html.pl and to escape any spaces in filenames

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gsdl/trunk/cgi-bin/gliserver.pl

    r15170 r15172  
    791791    } 
    792792    $gsdl_cgi->delete("file"); 
    793     $file =~ s/ /\\ /g; # escape all spaces in filename with a backslash, i.e. "\ " 
     793    $file =~ s/ /\\ /g; # escape all spaces in filename with a backslash, i.e. "\ ". 
    794794    $perl_args = $file;  
    795795    }