comparison js/core.js @ 2303:e4a2a39838db

Implementation for #38 in master
author Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
date Thu, 28 Apr 2016 10:13:20 +0100
parents f7604317ac27
children 426995e02e79
comparison
equal deleted inserted replaced
2302:f7604317ac27 2303:e4a2a39838db
428 } else { 428 } else {
429 var parser = new DOMParser(); 429 var parser = new DOMParser();
430 var xmlDoc = parser.parseFromString(xmlhttp.responseText, "application/xml"); 430 var xmlDoc = parser.parseFromString(xmlhttp.responseText, "application/xml");
431 var response = xmlDoc.getElementsByTagName('response')[0]; 431 var response = xmlDoc.getElementsByTagName('response')[0];
432 if (response.getAttribute("state") == "OK") { 432 if (response.getAttribute("state") == "OK") {
433 window.onbeforeunload = undefined;
433 var file = response.getElementsByTagName("file")[0]; 434 var file = response.getElementsByTagName("file")[0];
434 console.log("Save: OK, written "+file.getAttribute("bytes")+"B"); 435 console.log("Save: OK, written "+file.getAttribute("bytes")+"B");
435 popup.popupContent.textContent = specification.exitText; 436 if (typeof specification.returnURL == "string") {
437 window.location = returnURL;
438 } else {
439 popup.popupContent.textContent = specification.exitText;
440 }
436 } else { 441 } else {
437 var message = response.getElementsByTagName("message"); 442 var message = response.getElementsByTagName("message");
438 console.log("Save: Error! "+message.textContent); 443 console.log("Save: Error! "+message.textContent);
439 createProjectSave("local"); 444 createProjectSave("local");
440 } 445 }