equal
deleted
inserted
replaced
302 if (s.length() > 0) { |
302 if (s.length() > 0) { |
303 byte b[]; |
303 byte b[]; |
304 try { |
304 try { |
305 b = s.getBytes("UTF-8"); |
305 b = s.getBytes("UTF-8"); |
306 } catch (java.io.UnsupportedEncodingException x) { |
306 } catch (java.io.UnsupportedEncodingException x) { |
307 throw new InternalError(); |
307 throw new InternalError(x); |
308 } |
308 } |
309 LinuxVirtualMachine.write(fd, b, 0, b.length); |
309 LinuxVirtualMachine.write(fd, b, 0, b.length); |
310 } |
310 } |
311 byte b[] = new byte[1]; |
311 byte b[] = new byte[1]; |
312 b[0] = 0; |
312 b[0] = 0; |