Closing the window

As you can see [http://code.google.com/p/bigbashview/issues/detail?id=2 here], there are some issues related to javascript window.close when the window has navigated.

To workaround this, you can tell server to shutdown the application, calling the close option like this:

<a href="execute close$">Close the window</a>

This option will only work with the execute command. Optionally you can, in your script, print "False" to stderr so the server will not close the window, like that:

<a href="execute close$echo False">This does not close the window</a>

This way you can show a dialog confirmation before closing the window.

To get some examples on how to use this syntax, see the folder window_close inside the demos folder of your BigBashView package.