v1.1 release

Looks to see if the location is writable and if so, copy our file to
that location
Then adds the new file to the file manager, otherwise, informs you it
couldn't do it
Clears server message eitherway

CodeMirror-2.35/lib/codemirror.css

@@ -80,6 +80,7 @@
   word-wrap: normal;
   line-height: inherit;
   color: inherit;
+  overflow: visible;
 }
 
 .CodeMirror-wrap pre {

editor.php

@@ -173,6 +173,9 @@ function createNewCMInstance(num) {
 			};
 			lastKeyCode = e.keyCode;
 		},
+		onScroll: function() {
+			top.ICEcoder.mouseDown=false;
+		},
 		onGutterClick: !fileName || (fileName && fileName.indexOf(".js") == -1 && fileName.indexOf(".coffee") == -1 && fileName.indexOf(".php") && fileName.indexOf(".rb") == -1) ? codeFoldTag : codeFoldBrace,
 		extraKeys: {
 			"Tab": function(cm) {CodeMirror.commands[top.ICEcoder.tabsIndent ? "defaultTab" : "insertTab"](cm);},

files.php

@@ -66,7 +66,7 @@ for ($i=0;$i<count($tempArray);$i++) {
 	for ($j=$insertAt;$j<count($finalArray);$j++) {
 		if (	strcasecmp(dirname($finalArray[$j]), dirname($tempArray[$i]))==0 &&
 			strcasecmp(basename($finalArray[$j]), basename($tempArray[$i]))<0 ||
-			strpos(dirname($finalArray[$j]),dirname($tempArray[$i]))===0) {
+			(strpos(dirname($finalArray[$j]),dirname($tempArray[$i]))===0 && substr($finalArray[$j],strlen(dirname($tempArray[$i])),1)=="/")) {
 			$insertAt++;
 		}
 	}

index.php

@@ -75,9 +75,11 @@ window.onbeforeunload = function() {
 	<span id="folderMenuItems">
 		<a href="javascript:top.ICEcoder.newFile()" onMouseOver="ICEcoder.showFileMenu()">New File</a>
 		<a href="javascript:top.ICEcoder.newFolder()" onMouseOver="ICEcoder.showFileMenu()">New Folder</a>
+		<a href="javascript:top.ICEcoder.pasteFile(top.ICEcoder.rightClickedFile)" onMouseOver="ICEcoder.showFileMenu()">Paste</a>
 	</span>
 	<a href="javascript:top.ICEcoder.deleteFile(top.ICEcoder.rightClickedFile)" onMouseOver="ICEcoder.showFileMenu()">Delete</a>
 	<span id="singleFileMenuItems">
+		<a href="javascript:top.ICEcoder.copyFile(top.ICEcoder.rightClickedFile)" onMouseOver="ICEcoder.showFileMenu()">Copy</a>
 		<a href="javascript:top.ICEcoder.renameFile(top.ICEcoder.rightClickedFile)" onMouseOver="ICEcoder.showFileMenu()">Rename</a>
 		<a href="javascript:window.open(top.ICEcoder.rightClickedFile)" onMouseOver="ICEcoder.showFileMenu()">View Webpage</a>
 	</span>
@@ -107,7 +109,7 @@ window.onbeforeunload = function() {
 			<div title="Lock" onClick="ICEcoder.lockUnlockNav()" id="fmLock" class="lock"></div>
 		</div>
 	</div>
-	<iframe id="filesFrame" class="frame" name="ff" src="files.php" style="opacity: 0" onLoad="this.style.opacity='1'"></iframe>
+	<iframe id="filesFrame" class="frame" name="ff" src="files.php" style="opacity: 0" onLoad="this.style.opacity='1';this.contentWindow.onscroll=function(){top.ICEcoder.mouseDown=false}"></iframe>
 	<div class="serverMessage" id="serverMessage"></div>
 </div>
 
@@ -120,7 +122,7 @@ window.onbeforeunload = function() {
 		?><div class="newTab" onClick="ICEcoder.newTab()"><img src="images/nav-new.png"></div>
 	</div>
 	<div id="findBar" class="findBar" onContextMenu="return false">
-		<form name="findAndReplace">
+		<form name="findAndReplace" onSubmit="ICEcoder.findReplace('findReplace',false,true);return false">
 			<div class="findReplace">
 				<div class="findText">Find</div>
 				<input type="text" name="find" value="" id="find" class="textbox find" onKeyUp="ICEcoder.findReplace('find',true,false)">
@@ -144,7 +146,7 @@ window.onbeforeunload = function() {
 				<option>all files</option>
 				<option>all filenames</option>
 				</select>
-				<input type="button" name="submit" value="&gt;&gt;" class="submit" onClick="ICEcoder.findReplace('findReplace',false,true)">
+				<input type="submit" name="submit" value="&gt;&gt;" class="submit">
 				<div class="results" id="results"></div>
 			</div>
 		</form>

lib/file-control.php

@@ -20,12 +20,9 @@ $fileName = basename($file);
 if ($_GET['action']=="load") {
 	echo '<script>action="load";</script>';
 
-	// Determine what to do based on filename
-	// Everything is opened as text in the editor unless specified otherwise
-	$fileType="text";
-	if (strpos($fileName,".jpg")>0||strpos($fileName,".jpeg")>0||strpos($fileName,".gif")>0||strpos($fileName,".png")>0) {$fileType="image";};
-
-	if ($fileType=="text") {
+	// Determine what to do based on mime type
+	$finfo = finfo_open(FILEINFO_MIME_TYPE);
+	if (strpos(finfo_file($finfo, $file),"text")===0) {
 		if (file_exists($file)) {
 			echo '<script>fileType="text";';
 			echo 'top.ICEcoder.shortURL = top.ICEcoder.rightClickedFile = top.ICEcoder.thisFileFolderLink = "'.$fileLoc."/".$fileName.'";';
@@ -35,11 +32,12 @@ if ($_GET['action']=="load") {
 		} else {
 			echo '<script>fileType="nothing"; top.ICEcoder.message(\'Sorry, '.$fileLoc."/".$fileName.' doesn\\\'t seem to exist on the server\');</script>';
 		}
-	};
-
-	if ($fileType=="image") {
+	} else if (strpos(finfo_file($finfo, $file),"image")===0) {
 		echo '<script>fileType="image";fileName=\''.$fileLoc."/".$fileName.'\'</script>';
+	} else {
+		echo '<script>fileType="other";window.open(\'http://'.$_SERVER['SERVER_NAME'].$fileLoc."/".$fileName.'\');</script>';
 	};
+	finfo_close($finfo);
 };
 
 // If we're due to add a new folder...
@@ -54,6 +52,19 @@ if ($_GET['action']=="newFolder") {
 	echo '<script>top.ICEcoder.serverMessage();top.ICEcoder.serverQueue("del",0);</script>';
 }
 
+// If we're due to paste a new file...
+if ($_GET['action']=="paste") {
+	$location = $docRoot.strClean(str_replace("|","/",$_GET['location']));
+	if (is_writable($location)) {
+		copy($file, $location."/".basename($file));
+		// Reload file manager
+		echo '<script>top.ICEcoder.selectedFiles=[];top.ICEcoder.updateFileManagerList(\'add\',\''.str_replace($docRoot,"",$location).'\',\''.$fileName.'\');action="pasteFile";</script>';
+	} else {
+		echo "<script>action='nothing'; top.ICEcoder.message('Sorry, cannot copy file into \\n".$location."')</script>";
+	}
+	echo '<script>top.ICEcoder.serverMessage();top.ICEcoder.serverQueue("del",0);</script>';
+}
+
 // If we're due to rename a file/folder...
 if ($_GET['action']=="rename") {
 	if (is_writable($docRoot.$iceRoot.str_replace("|","/",strClean($_GET['oldFileName'])))) {

lib/ice-coder.css

@@ -90,16 +90,16 @@ h2 {font-size: 18px; font-weight: normal; color: #fff}
 .files .button {position: absolute; border: 0; background: #444; color: #eee; height:20px; margin-top: 16px; margin-left: 5px; font-size: 11px; cursor: pointer}
 .files .button:hover {background-color: #222; color: #eee}
 .files .frame {display: inline-block; width: 250px}
-.files .serverMessage {position: absolute; display: inline-block; width: 450px; bottom: 0; margin-bottom: 30px; background-color: rgba(255,255,255,0.8); font-size: 10px; padding: 7px 12px; opacity: 0;
-	-webkit-transition: all 0.2s;
-	-moz-transition: all 0.2s;
-	transition: all 0.2s;
+.files .serverMessage {position: absolute; display: none; width: 450px; bottom: 0; margin-bottom: 30px; background-color: rgba(255,255,255,0.8); font-size: 10px; padding: 7px 12px; opacity: 0;
+	-webkit-transition: opacity 0.2s;
+	-moz-transition: opacity 0.2s;
+	transition: opacity 0.2s;
 }
 .files .serverMessage b {font-size: 10px}
 
 .editor {position: absolute; display: inline-block; top: 0; left: 15px; width: 2400px}
 .editor .tabsBar {display: inline-block; height: 22px; width: 2400px; margin-top: 40px; padding-left: 41px; background-color: #888;}
-.tabsBar .tab {display: inline-block; display: none; background-image: url('../images/nav-bg.jpg'); background-repeat: repeat-x; background-position: 0 0; padding: 5px 8px 2px 8px; font-size: 10px; border-left: solid 1px #fff; border-right: solid 1px #777; color: #fff; cursor: pointer;
+.tabsBar .tab {display: none; background-image: url('../images/nav-bg.jpg'); background-repeat: repeat-x; background-position: 0 0; padding: 5px 8px 2px 8px; font-size: 10px; border-left: solid 1px #fff; border-right: solid 1px #777; color: #fff; cursor: pointer;
 	-webkit-transition: all 0.15s;
 	-moz-transition: all 0.15s;
 	transition: all 0.15s;
@@ -110,12 +110,13 @@ h2 {font-size: 18px; font-weight: normal; color: #fff}
 .findBar .findReplace {position: absolute; z-index: 1}
 .findReplace select {position: relative; font-size: 10px; margin: 8px 2px 0 2px; top: -2px;}
 .findReplace .findText {display: inline-block; height: 21px; font-size: 10px; margin: 8px 2px 0 2px; margin-left: 43px}
-.findReplace .find {position: relative; width: 120px; height: 14px; border: 0; top: -2px; font-size: 10px; padding-left: 5px; margin-right: 3px}
+.findReplace .find {position: relative; width: 120px; height: 16px; border: 0; top: -3px; font-size: 10px; padding-left: 5px; margin-right: 3px}
 .findReplace .replaceAction {margin: 0 2px 0 0; top: -2px}
 .findReplace .replaceText {height: 21px; font-size: 10px; margin: 8px 2px 0 2px}
-.findReplace .replace {position: relative; width: 120px; height: 16px; border: 0; top: -2px; font-size: 10px; padding-left: 5px}
+.findReplace .replace {position: relative; width: 120px; height: 16px; border: 0; top: -3px; font-size: 10px; padding-left: 5px}
 .findReplace .targetText {height: 21px; font-size: 10px; margin: 8px 2px 0 2px}
-.findReplace .submit {position: relative; top: -2px; height: 17px; border: 1px solid #bbb; background-color: #f8f8f8; font-size: 10px; cursor: pointer}
+.findReplace .submit {position: relative; top: -2px; height: 17px; border: 0; background-color: #444; color: #eee; font-size: 10px; margin-left: 2px; cursor: pointer}
+.findReplace .submit:hover {background-color: #2187e7; color: #eee}
 .findReplace .results {position: relative; display: inline-block; width: 200px; height: 20px; font-size: 10px; margin: 8px 0 0 20px}
 .findBar .codeAssist {position: fixed; display: inline-block; width: 100px; right: 74px; top: 70px; height: 21px; font-size: 10px; z-index: 1}
 .findBar .codeAssist input {margin-top: -1px}

lib/ice-coder.js

@@ -591,6 +591,18 @@ var ICEcoder = {
 		};
 	},
 
+	// Copy a file on demand
+	copyFile: function(selFile) {
+		top.ICEcoder.copiedFile = selFile;
+		top.ICEcoder.hideFileMenu();
+	},
+
+	// Paste a file on demand
+	pasteFile: function(location) {
+		top.ICEcoder.serverQueue("add","lib/file-control.php?action=paste&file="+top.ICEcoder.copiedFile+"&location="+location);
+		top.ICEcoder.serverMessage('<b>Pasting File</b><br>'+top.ICEcoder.copiedFile.toString().replace(/\|/g,"/").replace(/,/g,"\n"));
+	},
+
 	// Show menu on right clicking in file manager
 	showMenu: function() {
 		var menuType, folderMenuItems;
@@ -617,6 +629,11 @@ var ICEcoder = {
 		document.getElementById('fileMenu').style.display='inline-block';
 	},
 
+	// Continue to show the file manager
+	hideFileMenu: function() {
+		document.getElementById('fileMenu').style.display='none';
+	},
+
 	// Update the file manager tree list on demand
 	updateFileManagerList: function(action,location,file,perms,oldName) {
 		var actionElemType, cssStyle, perms, targetElem, locNest, newText, innerLI, newUL, newLI, elemType, nameLI, shortURL, newMouseOver;
@@ -782,27 +799,27 @@ var ICEcoder = {
 		var find, replace, results, cM, content, lineCount, numChars, charsToCursor, charCount, cursor, replaceQS, targetQS;
 
 		// Determine our find & replace strings and the length of them
-		find		= top.document.getElementById('find').value;
-		replace		= top.document.getElementById('replace').value;
+		find		= top.document.getElementById('find').value.toLowerCase();
+		replace		= top.document.getElementById('replace').value.toLowerCase();
 		results		= top.document.getElementById('results');
 
 		// If we have something to find in currrent document
 		if (find.length>0 && document.findAndReplace.target.value=="this document") {
 			cM = ICEcoder.getcMInstance();
-			content = cM.getValue();
+			content = cM.getValue().toLowerCase();
 
 			// Find & replace the next instance, or all?
 			if (document.findAndReplace.connector.value=="and") {
-				if (document.findAndReplace.replaceAction.value=="replace" && cM.getSelection()==find) {
+				if (document.findAndReplace.replaceAction.value=="replace" && cM.getSelection().toLowerCase()==find) {
 					cM.replaceSelection(replace);
 				} else if (document.findAndReplace.replaceAction.value=="replace all" && buttonClick) {
-					var rExp = new RegExp(find,"g");
+					var rExp = new RegExp(find,"gi");
 					cM.setValue(cM.getValue().replace(rExp,replace));
 				}
 			}
 
 			// Get the content again, as it might of changed
-			content = cM.getValue();
+			content = cM.getValue().toLowerCase();
 			if (!top.ICEcoder.findMode||find!=top.ICEcoder.lastsearch) {
 				ICEcoder.results = [];
 
@@ -858,10 +875,10 @@ var ICEcoder = {
 						charCount++;
 					}
 
-					cursor = cM.getSearchCursor(find,cM.getCursor());
+					cursor = cM.getSearchCursor(find,cM.getCursor(),true);
 					cursor.findNext();
 					if (!cursor.from()) {
-						cursor = cM.getSearchCursor(find,{line:0,ch:0});
+						cursor = cM.getSearchCursor(find,{line:0,ch:0},true);
 						cursor.findNext();
 					}
 					// Finally, highlight our selection
@@ -1011,11 +1028,17 @@ var ICEcoder = {
 
 	// Alter array indicating which files have changed
 	redoChangedContent: function(evt) {
-		var cM;
+		var cM, key;
 		
 		cM = ICEcoder.getcMInstance();
-		ICEcoder.changedContent[ICEcoder.selectedTab-1] = cM.historySize().undo > 0 ? 1 : 0;
-		ICEcoder.redoTabHighlight(ICEcoder.selectedTab);
+		key = evt.keyCode ? evt.keyCode : evt.which ? evt.which : evt.charCode;
+		// Exclude a few keys...
+		// Escape (27), Caps Lock (20), Shift, CTRL, Alt, Pause/Break (16-19), Left, Up, Right, Down (37-40), Num Lock, Scroll Lock (144-145), 
+		// Insert, Delete (45,46), Page Up, Page Down, End, Home (33-36), Left Win Key, Right Win Key (91-92), F1-F12 (112-123)
+		if (key!=27 && key!=20 && (key<16||key>19) && (key<37||key>40) && (key!=144||key!=145) && (key!=45||key!=46) && (key<33||key>36) && (key!=91||key!=92) && (key<112||key>123)) {
+			ICEcoder.changedContent[ICEcoder.selectedTab-1] = cM.historySize().undo > 0 ? 1 : 0;
+			ICEcoder.redoTabHighlight(ICEcoder.selectedTab);
+		}
 	},
 
 	// Show & hide target element
@@ -1035,7 +1058,7 @@ var ICEcoder = {
 
 	// Get the mouse position on demand
 	getMouseXY: function(e,area) {
-		var tempX, tempY, scrollTop, winW;
+		var tempX, tempY, scrollTop;
 
 		top.ICEcoder.mouseX = e.pageX ? e.pageX : e.clientX + document.body.scrollLeft;
 		top.ICEcoder.mouseY = e.pageY ? e.pageY : e.clientY + document.body.scrollTop;
@@ -1046,8 +1069,6 @@ var ICEcoder = {
 		if (area=="editor") {
 			top.ICEcoder.mouseX += top.ICEcoder.filesW;
 		}
-		winW = window.innerWidth ? window.innerWidth : document.body.clientWidth;
-		if (top.ICEcoder.mouseX > (winW-20)) {top.ICEcoder.mouseDown=false};
 		top.ICEcoder.dragCursorTest();
 	},
 
@@ -1075,7 +1096,12 @@ var ICEcoder = {
 		var serverMessage;
 
 		serverMessage =	document.getElementById('serverMessage');
-		if (message) {serverMessage.innerHTML = message};
+		if (message) {
+			serverMessage.innerHTML = message;
+			serverMessage.style.display = "inline-block";
+		} else {
+			setTimeout(function() {serverMessage.style.display = "none"},200);
+		}
 		serverMessage.style.opacity = message ? 1 : 0;
 	},
 

lib/multiple-results.php

@@ -16,14 +16,14 @@
 </div>
 <?php if (isset($_GET['replace'])) { ?>
 	<div class="replaceAll" id="replaceAll" onClick="<?php
-	if (strpos($_GET['target'],"filenames")) {
+	if (isset($_GET['target']) && strpos($_GET['target'],"filenames")) {
 		echo 'renameAll()';
-	} else if (strpos($_GET['target'],"files")) {
+	} else if (isset($_GET['target']) && strpos($_GET['target'],"files")) {
 		echo 'replaceInFilesAll()';
 	} else {
 		echo 'replaceAll()';
 	}
-	?>" style="opacity: 0.1"><?php echo strpos($_GET['target'],"filenames") ? 'rename all' : 'replace all';?></div>
+	?>" style="opacity: 0.1"><?php echo isset($_GET['target']) && strpos($_GET['target'],"filenames") ? 'rename all' : 'replace all';?></div>
 <?php ;}; ?>
 
 <script>
@@ -34,7 +34,7 @@ var resultsDisplay = "";
 var foundArray = [];
 foundInSelected = false;
 userTarget = top.document.findAndReplace.target.value;
-findText = top.findAndReplace.find.value;
+findText = top.findAndReplace.find.value.toLowerCase();
 <?php
 $findText = str_replace("ICEcoder:","",str_replace("&#39;","\'",$_GET['find']));
 // Find in open docs?
@@ -42,7 +42,7 @@ if (!isset($_GET['target'])) {
 $targetName = "document";
 ?>
 var startTab = top.ICEcoder.selectedTab;
-var rExp = new RegExp(findText,"g");
+var rExp = new RegExp(findText,"gi");
 for (var i=1;i<=top.ICEcoder.openFiles.length;i++) {
 	top.ICEcoder.switchTab(i);
 	var cM = top.ICEcoder.getcMInstance();
@@ -68,7 +68,7 @@ if (startTab!=top.ICEcoder.selectedTab) {
 		var spansArray = top.ICEcoder.filesFrame.contentWindow.document.getElementsByTagName('span');
 		for (var i=0;i<spansArray.length;i++) {
 			targetURL = spansArray[i].id.replace(/\|/g,"/");
-			if (targetURL.indexOf(findText)>-1 && targetURL.indexOf('_perms')>-1) {
+			if (targetURL.toLowerCase().indexOf(findText.toLowerCase())>-1 && targetURL.indexOf('_perms')>-1) {
 				if (userTarget.indexOf("selected")>-1) {
 					for (var j=0;j<top.ICEcoder.selectedFiles.length;j++) {
 						if (top.ICEcoder.selectedFiles[j].indexOf(targetURL.replace(/\//g,"|").replace(/_perms/g,""))>-1) {
@@ -77,8 +77,16 @@ if (startTab!=top.ICEcoder.selectedTab) {
 					}
 				}
 				if (userTarget.indexOf("all")>-1 || (userTarget.indexOf("selected")>-1 && foundInSelected)) {
-					resultsDisplay += '<a href="javascript:top.ICEcoder.openFile(\'<?php echo $docRoot;?>'+targetURL.replace(/\|/g,"/").replace(/_perms/g,"")+'\');top.ICEcoder.showHide(\'hide\',top.document.getElementById(\'blackMask\'))">'+ targetURL.replace(/\|/g,"/").replace(/_perms/g,"").replace(/<?php echo str_replace("/","\/",$findText); ?>/g,"<b>"+findText+"</b>")+ '</a><br><div id="foundCount'+i+'">'+spansArray[i].innerHTML+', rename to '+targetURL.replace(/\|/g,"/").replace(/_perms/g,"").replace(/<?php echo str_replace("/","\/",$findText); ?>/g,"<b><?php if(isset($_GET['replace'])) {echo strClean($_GET['replace']);};?></b>")+'</div>';
-					<?php if (isset($_GET['replace'])) { ?>
+					resultsDisplay += '<a href="javascript:top.ICEcoder.openFile(\'<?php echo $docRoot;?>'+targetURL.replace(/\|/g,"/").replace(/_perms/g,"")+'\');top.ICEcoder.showHide(\'hide\',top.document.getElementById(\'blackMask\'))">';
+					resultsDisplay += targetURL.toLowerCase().replace(/\|/g,"/").replace(/_perms/g,"").replace(/<?php echo str_replace("/","\/",strtolower($findText)); ?>/g,"<b>"+findText.toLowerCase()+"</b>");
+					resultsDisplay += '</a><br>';
+					<?php if (!isset($_GET['replace'])) { ?>
+						resultsDisplay += '<div id="foundCount'+i+'">'+spansArray[i].innerHTML+'</div>';
+					<?php ;} else { ?>
+						resultsDisplay += '<div id="foundCount'+i+'">'+spansArray[i].innerHTML+', rename to '+targetURL.toLowerCase().replace(/\|/g,"/").replace(/_perms/g,"").replace(/<?php echo str_replace("/","\/",strtolower($findText)); ?>/g,"<b><?php if(isset($_GET['replace'])) {echo strtolower(strClean($_GET['replace']));};?></b>")+'</div>';
+					<?php
+					;};
+					if (isset($_GET['replace'])) { ?>
 					resultsDisplay += '<div class="replace" id="replace" onClick="renameSingle('+i+');this.style.display=\'none\'">rename</div>';
 					<?php ;}; ?>
 					resultsDisplay += '<hr>';

lib/settings.php

@@ -1,8 +1,13 @@
 <?php
+// Display & log all errors
 ini_set('display_errors', 1);
 ini_set('log_errors', 1);
-ini_set('error_log', dirname(__FILE__).'/../error_log.txt');
+ini_set('error_log', dirname(__FILE__).'/../error-log.txt');
 error_reporting(-1);
+
+// Set our default timezone and supress warning with @
+@date_default_timezone_set(date_default_timezone_get());
+
 // Start a session if we haven't already
 if(!isset($_SESSION)) {session_start();}
 
@@ -33,8 +38,8 @@ include($settingsFile);
 
 // Add ICEcoder settings to beginning of $ICEcoder array
 $ICEcoder = array(
-	"versionNo"		=> "1.0.0",
-	"codeMirrorDir"		=> "CodeMirror-2.34"
+	"versionNo"		=> "1.1",
+	"codeMirrorDir"		=> "CodeMirror-2.35"
 )+$ICEcoder;
 
 $onLoadExtras = "";

plugins/zip-it/index.php

@@ -62,7 +62,7 @@ Class zipIt {
 			foreach($zipFiles as $file) {
 				$canAdd=true;
 				for ($i=0;$i<count($excludeFilesFolders);$i++) {
-					if(strpos($file,$excludeFilesFolders[$i])!==false) {$canAdd=false;};
+					if($excludeFilesFolders[$i] && strpos($file,$excludeFilesFolders[$i])!==false) {$canAdd=false;};
 				}
 				if ($canAdd==true) {
 					$zip->addFile($file,str_replace($docRoot."/","",$file));