From ef1b927861f9a949aed20341144ffb5bfd42f038 Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Mon, 19 Sep 2022 11:22:21 +1000 Subject: Removing the web client --- javascript/app/routes/package/show/file.js | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 javascript/app/routes/package/show/file.js (limited to 'javascript/app/routes/package/show/file.js') diff --git a/javascript/app/routes/package/show/file.js b/javascript/app/routes/package/show/file.js deleted file mode 100644 index 568d288..0000000 --- a/javascript/app/routes/package/show/file.js +++ /dev/null @@ -1,27 +0,0 @@ -import Ember from 'ember'; - -export default Ember.Route.extend({ - store : Ember.inject.service(), - model : function (params) { - const packageInfo = this.modelFor('package'); - if(packageInfo.modules[params.filePath]) { - return this.get('store').loadHaskellModule(packageInfo.id,params.filePath) - .catch((e) => {console.log(e);this.transitionTo("/not-found");}); - } else { - return this.get('store').loadFile(packageInfo.id,params.filePath) - .then((result) => { - document.title = packageInfo.id; - return result; - }) - .catch((e) => {console.log(e);this.transitionTo("/not-found");}); - } - }, - afterModel (model) { - document.title = model.id + " - " + this.modelFor('package').id; - }, - actions : { - didTransition : function () { - this.send("fileOpened",this.currentModel.id); - } - } -}); -- cgit v1.2.3