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

```
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 `ahrenh...@gmail.com` on 18 Apr 2014 at 5:36