GUI error box: error writing "stdout": I/O error

[GoogleCodeExporter]

When you close the terminal that starts core-gui, the GUI is unable to write to 
stdout and produces this exception.

error writing "stdout": I/O error
    while executing
"puts "Connection to $plugin ($ip:$port) closed.""
    (procedure "pluginChannelClosed" line 11)
    invoked from within
"pluginChannelClosed $channel"
    (procedure "resetChannel" line 5)
    invoked from within
"resetChannel channel 1"
    (procedure "receiveMessage" line 31)
    invoked from within
"receiveMessage sock7"

Original issue reported on code.google.com by [email protected] on 18 Apr 2014 at 5:36