diff --git a/services/web/public/coffee/ide.coffee b/services/web/public/coffee/ide.coffee index 795037cbbf..3f6497cdc3 100644 --- a/services/web/public/coffee/ide.coffee +++ b/services/web/public/coffee/ide.coffee @@ -77,6 +77,17 @@ define [ ide.pdfManager = new PdfManager(ide, $scope) ide.permissionsManager = new PermissionsManager(ide, $scope) ide.binaryFilesManager = new BinaryFilesManager(ide, $scope) + + inited = false + $scope.$on "project:joined", () -> + return if inited + inited = true + if $scope.project.deletedByExternalDataSource + ide.showGenericMessageModal("Project Renamed or Deleted", """ + This project has either been renamed or deleted by an external data source such as Dropbox. + We don't want to delete your data on ShareLaTeX, so this project still contains your history and collaborators. + If the project has been renamed please look in your project list for a new project under the new name. + """) ] angular.bootstrap(document.body, ["SharelatexApp"]) \ No newline at end of file diff --git a/services/web/public/coffee/ide/connection/ConnectionManager.coffee b/services/web/public/coffee/ide/connection/ConnectionManager.coffee index 0ec83c7e08..30b8f00ac5 100644 --- a/services/web/public/coffee/ide/connection/ConnectionManager.coffee +++ b/services/web/public/coffee/ide/connection/ConnectionManager.coffee @@ -49,7 +49,7 @@ define [], () -> @$scope.$apply () => @$scope.permissions.write = false @$scope.connection.forced_disconnect = true - @ide.socket.socket.disconnect() + @ide.socket.disconnect() @ide.showGenericMessageModal("Please Refresh", """ We're performing maintenance on ShareLaTeX and you need to refresh the editor. Sorry for any inconvenience.