private void handle_dumplog() {
		FileInputStream fi;
		byte bytes[];
		StringBuffer sb = new StringBuffer();

		try {
			fi = new FileInputStream(disp.get_logfile());
		} catch (FileNotFoundException e) {
			cliprint("No logfile found" + VT100.crlf);
			return;
		}

		cliprint("### BEGIN LOGFILE DUMP" + VT100.crlf);
		try {
			while (fi.available() > 0) {
				if (fi.available() > 1024) {
					bytes = new byte[1024];
					fi.read(bytes);
				} else {
					bytes = new byte[fi.available()];
					fi.read(bytes);
				}
				for (int i = 0; i < bytes.length; i++) { // Reformat newlines
					if (bytes[i] == VT100.creturn || bytes[i] == VT100.newline) {
						sb.append(VT100.crlf);
						cliprint(sb.toString());
						sb = new StringBuffer();
					} else {
						sb.append((char) bytes[i]);
					}
				}
			}
			fi.close();
		} catch (IOException e) {}
		cliprint("### END LOGFILE DUMP" + VT100.crlf);
	}