migrationLevel: LivelyMigrationSupport.migrationLevel,
externalScripts: [bootstrapFile]
doc = lively.persistence.HTMLDocBuilder.documentForWorldSerializ
ation(docSpec);
this.savedWorldAsURL = undefined;
lively.bindings.connect(this, 'savedWorldAsURL', this, 'visitNewPage
AfterSaveAs', {
updater: function($upd, v) {
if (v && v.toString() !== URL.source.toString()) { $upd(v);
}
if (URL.source.eq(url)) {
this.storeDoc(doc, url, checkForOverwrites);
this.checkIfPathExistsAndStoreDoc(doc, url, checkForOverwrites);
this.world().saveWorldAs(
URL.create("http://lively-kernel.org/core/users/Dan/world-from-local
.html"),
URL.create('http://lively-kernel.org/core/core/lively/bootstrap.js'
))