michael@0: /**
michael@0:  * Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/publicdomain/zero/1.0/
michael@0:  */
michael@0: onclose = function() {
michael@0:   var xhr = new XMLHttpRequest();
michael@0:   xhr.open("POST", "closeOnGC_server.sjs" + location.search, false);
michael@0:   xhr.send();
michael@0: };
michael@0: 
michael@0: postMessage("ready");