This is what was deployed on the lnns serverHEADmaster

1 files changed, 21 insertions, 22 deletions

diff --git a/shell/bin/mv.php b/shell/bin/mv.php
index 8fc35cd..0a23048 100644
--- a/shell/bin/mv.php
+++ b/shell/bin/mv.php
@@ -1,22 +1,21 @@
-<?php
-class p_mv extends prog {
-	public static main($args, $env) {
-		$me = array_shift($args);
-		if (count($args)>2) {
-			$dest = array_pop($args);
-			if (!is_dir($dest) {
-				echo $me.': dest must be a directory: `'.$dest."'\n";
-				return 1;
-			}
-			foreach ($args as $src) {
-				rename($src,$dest.'/'.basename($src));
-			}
-		} elseif (count($args)==2) {
-			rename($args[0],$args[1]);
-		} else {
-			echo 'Usage: '.$me." SOURCE [SOURCE2 [SOURCE3 ...]] DEST\n";
-			return 1;
-		}
-	}
-}
-
+<?php

+class p_mv extends prog {

+	public static function main($args, $env) {

+		$me = array_shift($args);

+		if (count($args)>2) {

+			$dest = array_pop($args);

+			if (!is_dir($dest)) {

+				echo $me.': dest must be a directory: `'.$dest."'\n";

+				return 1;

+			}

+			foreach ($args as $src) {

+				rename($src,$dest.'/'.basename($src));

+			}

+		} elseif (count($args)==2) {

+			rename($args[0],$args[1]);

+		} else {

+			echo 'Usage: '.$me." SOURCE [SOURCE2 [SOURCE3 ...]] DEST\n";

+			return 1;

+		}

+	}

+}