# update user document
if changed:
user_doc_new = user_doc.latest()
+ else:
+ user_doc_new = user_doc
# shared document is the same
doc_new = doc
# update shared version if needed
if changed:
doc_new = doc.latest()
+ else:
+ doc_new = doc
# the user wersion is the same
user_doc_new = base_doc
var json = $.evalJSON(response.responseText);
if(json.reason == 'xml-parse-error') {
- message = json_response.message.replace(/(line\s+)(\d+)(\s+)/i,
+ message = json.message.replace(/(line\s+)(\d+)(\s+)/i,
"<a class='xml-editor-ref' href='#xml-$2-1'>$1$2$3</a>");
message = message.replace(/(line\s+)(\d+)(\,\s*column\s+)(\d+)/i,
"<a class='xml-editor-ref' href='#xml-$2-$4'>$1$2$3$4</a>");
}
- message = json_response.message || json_response.reason || "Nieznany błąd :((";
+ else {
+ message = json.message || json.reason || "Nieznany błąd :((";
+ }
+
} catch(e) {
// not a valid JSON response
message = response.statusText;