add:  if (!this.unloadDestroy) { return false; } 
context:     destroy:function() {        // map has been destroyed. dont do it again!        OpenLayers.Event.stopObserving(window, 'unload', this.unloadDestroy);        this.unloadDestroy = null;        if (this.layers != null) {            for (var i = this.layers.length - 1; i>=0; --i) {                //pass 'false' to destroy so that map wont try to set a new                 // baselayer after each baselayer is removed                this.layers[i].destroy(false);            }             this.layers = null;        }        if (this.controls != null) {            for (var i = this.controls.length - 1; i>=0; --i) {                this.controls[i].destroy();            }             this.controls = null;        }        if (this.viewPortDiv) {            this.div.removeChild(this.viewPortDiv);        }        this.viewPortDiv = null;        this.events.destroy();        this.events = null;    },
meta: 1027	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1027/175f07c40304705710e3aa2aa8d986588eedbbfc/Map.js/buggy/lib/OpenLayers/Map.js