Warning: session_start(): open(/var/lib/php/sessions/sess_id0779otb5ddf9s2irjbainou9, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
!7
static String s0 = "Hello World";
// (truncated) contents of jdk-headers-1.6.0/include/ibm/zos/jawt_md.h file encoding=IBM500/EBCDIC, read with UTF8
static String s1 = "a\\\u0015@\\@~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\u0015@\\@@\ufffd\ufffd\ufffd@\u00d6\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\u0015@\\@@\ufffd\ufffd\ufffd@\u25a4\ufffd\ufffd\ufffd@\u0501\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\u0015@\\\u0015@\\@@\ufffd\ufffd\ufffd@\ufffd\ufffd\ufffdk@\u0441\ufffd\ufffdM\ufffd\ufffd]@\u3143\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd@\u0144\ufffd\ufffd\ufffd\ufffd\ufffdk@\ufffd\ufffd\u0015@\\@@M\ufffd]@\u00d6\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd@\ufffd\ufffd\ufffd@\u00d6\ufffd\ufffdK@\ufffd\ufffd\ufffd\ufffdk@\ufffd\ufffd\ufffd\ufffdK@\ufffd\ufffd\ufffd@\u0649\ufffd\ufffd\ufffd\ufffd@\u0645\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\u0015@\\\u0015@\\";
p {
swing { new main().go(); }
}
void go() {
JFrame frame = new JFrame("BugRepro");
frame.setBounds(100, 100, 800, 600);
frame.setContentPane(foo());
frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
frame.setVisible(true);
}
JCheckBox c;
JPanel foo() {
JPanel panel = new JPanel(new BorderLayout());
JButton b;
final JTextArea area = new JTextArea();
JPanel p = new JPanel(new FlowLayout());
panel.add(p, BorderLayout.NORTH);
p.add(b = new JButton("click me"));
p.add(c = new JCheckBox("include strange chars", true));
panel.add(new JLabel("Hello"), BorderLayout.SOUTH);
panel.add(new JScrollPane(area), BorderLayout.CENTER);
// need to set a new Document b/c setText() sets the text of the old document.
b.addActionListener(actionListener { area.setDocument(makeDoc()); });
return panel;
}
Document makeDoc() {
Document doc = new PlainDocument();
try {
doc.insertString(0, makeString(), new SimpleAttributeSet());
} catch (BadLocationException e) {
throw new Error(e);
}
return doc;
}
String makeString() {
int MAX = 1000;
StringBuilder buf = new StringBuilder();
extracted(MAX, buf);
System.out.println("Including strange chars: " + c.isSelected());
if (c.isSelected()) {
buf.append(s1); // XXX This line slows down the rendering noticeably since it contains strange chars
}
extracted(MAX, buf);
return buf.toString();
}
static void extracted(int MAX, StringBuilder buf) {
for (int i = 0; i < MAX; i++) {
buf.append(s0);
buf.append("\n");
}
}