Only launch save event if not already saving

1 files changed, 4 insertions, 2 deletions

diff --git a/js/editor.js b/js/editor.js
index 5c9a74d..189f758 100644
--- a/js/editor.js
+++ b/js/editor.js
@@ -255,7 +255,9 @@ function showFileEditor(dir, filename) {
 								sender: "editor"
 							},
 							exec: function () {
-								doFileSave();
+								if(!$('#editor').attr('data-saving')){
+									doFileSave();
+								}
 							}
 						});
 						giveEditorFocus();
@@ -407,4 +409,4 @@ $(document).ready(function () {
 			OC.Notification.hide();
 		}
 	});
-});
\ No newline at end of file
+});