From 000fda848b38660fb53cbb385238ce50e77cb699 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Mon, 4 Mar 2013 12:56:58 +0000
Subject: [PATCH] Get filemtime after saving

We weren't getting the new filemtime after saving and using the
$filemtime var value prior to the save. Needs to be reestablished prior
to setting the array value.
---
 lib/file-control.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/file-control.php b/lib/file-control.php
index dc11eca..b74f79b 100644
--- a/lib/file-control.php
+++ b/lib/file-control.php
@@ -254,6 +254,7 @@ if ($_GET['action']=="save") {
 				fwrite($fh, $_POST['contents']);
 				fclose($fh);
 				clearstatcache();
+				$filemtime = $serverType=="Linux" ? filemtime($file) : "1000000";
 				echo '<script>top.ICEcoder.openFileMDTs[top.ICEcoder.selectedTab-1]="'.$filemtime.'";</script>';
 				// Reload file manager & rename tab if it was a new file
 				if (isset($_POST['newFileName']) && $_POST['newFileName']!="") {