Server IP : 195.201.23.43 / Your IP : 3.22.208.99 Web Server : Apache System : Linux webserver2.vercom.be 5.4.0-192-generic #212-Ubuntu SMP Fri Jul 5 09:47:39 UTC 2024 x86_64 User : kdecoratie ( 1041) PHP Version : 7.1.33-63+ubuntu20.04.1+deb.sury.org+1 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals, MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /usr/share/webmin/proc/ |
Upload File : |
// LineInputStream // A stream with some useful stdio-like methods. Can be used either for // inheriting those methods into your own input stream, or for adding them // to some input stream. import java.io.InputStream; import java.io.IOException; import java.io.EOFException; public class LineInputStream { InputStream in; LineInputStream(InputStream i) { in = i; } LineInputStream() { } public int read() throws IOException { return in.read(); } public int read(byte b[]) throws IOException { return in.read(b); } public int read(byte b[], int o, int l) throws IOException { return in.read(b, o, l); } public long skip(long n) throws IOException { return in.skip(n); } public int available() throws IOException { return in.available(); } public void close() throws IOException { in.close(); } public synchronized void mark(int readlimit) { in.mark(readlimit); } public synchronized void reset() throws IOException { in.reset(); } public boolean markSupported() { return in.markSupported(); } // gets // Read a line and return it (minus the \n) String gets() throws IOException, EOFException { StringBuffer buf = new StringBuffer(); int b; while((b = read()) != '\n') { if (b == -1) throw new EOFException(); buf.append((char)b); } if (buf.length() != 0 && buf.charAt(buf.length()-1) == '\r') buf.setLength(buf.length()-1); // lose \r return buf.toString(); } // getw // Read a single word, surrounded by whitespace String getw() throws IOException, EOFException { StringBuffer buf = new StringBuffer(); // skip spaces int b; do { if ((b = read()) == -1) throw new EOFException(); } while(Character.isSpace((char)b)); // add characters do { buf.append((char)b); if ((b = read()) == -1) throw new EOFException(); } while(!Character.isSpace((char)b)); return buf.toString(); } // readdata // Fill the given array completely, even if read() only reads // some max number of bytes at a time. public int readdata(byte b[]) throws IOException, EOFException { int p = 0; while(p < b.length) p += read(b, p, b.length-p); return b.length; } }Private