From 682381e939edd0425e45ffe6b8f8c709c3df2944 Mon Sep 17 00:00:00 2001 From: Robert Sesek Date: Sun, 3 Oct 2010 12:36:13 -0400 Subject: [PATCH] Fix compilation using -c. --- build.py | 2 +- web_frontend/actor.js | 2 +- web_frontend/file.js | 2 +- web_frontend/version.js | 4 ++-- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/build.py b/build.py index c593d1c..b9b4847 100755 --- a/build.py +++ b/build.py @@ -35,10 +35,10 @@ SOURCES = [ 'main.go' ] SOURCES_FE = [ + 'version.js', 'actor.js', 'file.js', 'main.js', - 'version.js', ] RESOURCES_FE = [ 'index.html', diff --git a/web_frontend/actor.js b/web_frontend/actor.js index 174f392..62c4636 100644 --- a/web_frontend/actor.js +++ b/web_frontend/actor.js @@ -202,7 +202,7 @@ armadillo.Actor.prototype.performDelete_ = function() { var closeCallback = function(e) { if (e.key != goog.ui.Dialog.DefaultButtonKeys.CANCEL) { - this.file_.delete(); + this.file_.remove(); } }; // Will be removed when the event source closes. diff --git a/web_frontend/file.js b/web_frontend/file.js index c6d99cb..e8d0be0 100644 --- a/web_frontend/file.js +++ b/web_frontend/file.js @@ -115,7 +115,7 @@ armadillo.File.prototype.draw = function() { * Deletes the given file in the backend by sending a request. On return, it * will re-query the directory. */ -armadillo.File.prototype.delete = function() { +armadillo.File.prototype.remove = function() { var file = this; var callback = function(data) { if (data['error']) { diff --git a/web_frontend/version.js b/web_frontend/version.js index 5547c13..54423f6 100644 --- a/web_frontend/version.js +++ b/web_frontend/version.js @@ -11,5 +11,5 @@ goog.provide('armadillo.Version'); armadillo.Version.MAJOR = 0; armadillo.Version.MINOR = 2; -armadillo.Version.BUILD = 0; -armadillo.Version.STAMP = 0; +armadillo.Version.BUILD = 9; +armadillo.Version.STAMP = 1286123718; -- 2.43.5