Merge pull request #353 from sharelatex/as-clean-up-ace-worker

Tear down Ace session when aceEditor is destroyed

services/web/public/coffee/ide/editor/directives/aceEditor.coffee

@@ -430,6 +430,8 @@ define [
 				scope.$on '$destroy', () ->
 					if scope.sharejsDoc?
 						detachFromAce(scope.sharejsDoc)
+						session = editor.getSession()
+						session?.destroy()
 
 				scope.$emit "#{scope.name}:inited", editor