equal
deleted
inserted
replaced
2040 os.equalsIgnoreCase("SunOS")) |
2040 os.equalsIgnoreCase("SunOS")) |
2041 { |
2041 { |
2042 final Object deferred; |
2042 final Object deferred; |
2043 Class<?> c = s.getClass(); |
2043 Class<?> c = s.getClass(); |
2044 if (c.getName().equals( |
2044 if (c.getName().equals( |
2045 "java.lang.UNIXProcess$DeferredCloseInputStream")) |
2045 "java.lang.ProcessImpl$DeferredCloseInputStream")) |
2046 { |
2046 { |
2047 deferred = s; |
2047 deferred = s; |
2048 } else { |
2048 } else { |
2049 Field deferredField = p.getClass(). |
2049 Field deferredField = p.getClass(). |
2050 getDeclaredField("stdout_inner_stream"); |
2050 getDeclaredField("stdout_inner_stream"); |