1 files changed, 22 insertions, 15 deletions
diff --git a/shell/bin/cat.php b/shell/bin/cat.php
index 8778f22..8376ca0 100644
--- a/shell/bin/cat.php
+++ b/shell/bin/cat.php
@@ -1,15 +1,22 @@
-<?php
-class p_cat extends prog {
-	public static function main($args, $env) {
-		$me = array_shift($args);
-		if (count($args)==0) { $args = array('-'); }
-		foreach ($args as $file) {
-			if ( ($file=='-') || ($file=='/dev/stdin') ) {
-				echo $_POST['stdin'];
-			} else {
-				echo htmlentities(file_get_contents($file));
-			}
-		}
-	}
-}
-
+<?php
+class p_cat extends prog {
+	public static function main($args, $env) {
+		$me = array_shift($args);
+		$raw = (isset($args[0])?($args[0]=='-r'):false);
+		if ($raw) {
+			array_shift($args);
+		}
+		if (count($args)==0) { $args = array('-'); }
+		foreach ($args as $file) {
+			if ( ($file=='-') || ($file=='/dev/stdin') ) {
+				echo $_POST['stdin'];
+			} else {
+				if ($raw) {
+					echo file_get_contents($file);
+				} else {
+					echo htmlentities(file_get_contents($file));
+				}
+			}
+		}
+	}
+}