public static java.lang.String | getDevNull()Return the name of the Null device on platforms which support it,
or "jnk" otherwise.
String sys = System.getProperty("os.name");
if (sys==null || sys.indexOf("Mac") >= 0)
return "jnk";
if (sys.startsWith("Windows"))
return "NUL:";
return "/dev/null";
|