User interface basics / Establish a GUI front-end connection |
gui.protocol.pingTimeout = 800
It can happen that the user leaves the program for a while without using it. The network policy (firewall) might force a close of the TCP connection after a given period of inactivity. To avoid such connection shutdown when there is no GUI exchange, the front end sends a 'ping' event every N minutes (this is usually configurable in the front-ends) to keep the TCP connection alive. The front end ping is a normal situation and part of the GUI client/server protocol.
If the front end program is not stopped properly (when killed by a system reboot, for example), the TCP connection is lost and the runtime system does not receive any more 'ping' events. In this case, the runtime system waits for a specified time before it stops with fatal error -8063.
By default, the runtime system waits for 600 seconds (10 minutes).