Changeset 1017
- Timestamp:
- 07/12/08 17:05:43 (4 months ago)
- Files:
-
- trunk/UpdateServer/scripts/config_release.php5 (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/UpdateServer/scripts/config_release.php5
r944 r1017 44 44 { 45 45 if ( $url[strlen($url)-1] == '/' ) 46 download_files( $base_url.$url, $dir.'/'. $url);46 download_files( $base_url.$url, $dir.'/'.urldecode($url)); 47 47 else 48 48 { 49 if (! file_exists($dir.'/'. $url) )50 { 51 file_put_contents( $dir.'/'. $url, file_get_contents_authenticated($base_url.$url));49 if (! file_exists($dir.'/'.urldecode($url)) ) 50 { 51 file_put_contents( $dir.'/'.urldecode($url), file_get_contents_authenticated($base_url.$url)); 52 52 } 53 53 }