Improving performance of fetching git objects by using git cat-file --batch through a pipe. Also improved debug output and added destructor-based auto-timers
[gitphp.git] / include / Util.class.php
blob:a/include/Util.class.php -> blob:b/include/Util.class.php
--- a/include/Util.class.php
+++ b/include/Util.class.php
@@ -42,6 +42,11 @@
 	public static function IsWindows()
 	{
 		return (strtoupper(substr(PHP_OS, 0, 3)) === 'WIN');
+	}
+
+	public static function NullFile()
+	{
+		return self::IsWindows() ? 'NUL' : '/dev/null';
 	}
 
 	/**

comments