diff options
author | Florian Pritz <bluewind@xinu.at> | 2011-10-01 19:02:40 +0200 |
---|---|---|
committer | Florian Pritz <bluewind@xinu.at> | 2011-10-01 19:03:59 +0200 |
commit | c4f87a04bbbd8083b2e7ddc366447ff3c12cab23 (patch) | |
tree | 94607510c27d3062f7c9edde048e213320ac01f4 | |
parent | 9f60efccb9e760ec07cfca5a3d4a0c4fb0eb6018 (diff) |
check if file exists before getting mtime
Signed-off-by: Florian Pritz <bluewind@xinu.at>
-rw-r--r-- | application/views/file/html_header.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/application/views/file/html_header.php b/application/views/file/html_header.php index 499b3adec..436f7491d 100644 --- a/application/views/file/html_header.php +++ b/application/views/file/html_header.php @@ -3,7 +3,7 @@ <head> <title><?php echo $title; ?></title> <link rel="stylesheet" type="text/css" href="<?php echo base_url(); ?>data/paste.css?<?php echo filemtime(FCPATH."/data/paste.css"); ?>" /> - <link rel="stylesheet" type="text/css" href="<?php echo base_url(); ?>data/paste-<?php echo $current_highlight; ?>.css?<?php echo filemtime(FCPATH."/data/paste-".$current_highlight.".css"); ?>" /> + <link rel="stylesheet" type="text/css" href="<?php echo base_url(); ?>data/paste-<?php echo $current_highlight; ?>.css<?php if (file_exists(FCPATH."/data/paste-".$current_highlight.".css")) { echo "?".filemtime(FCPATH."/data/paste-".$current_highlight.".css");} ?>" /> </head> <body> <div class="top_bar"> |