From 682381e939edd0425e45ffe6b8f8c709c3df2944 Mon Sep 17 00:00:00 2001
From: Robert Sesek <rsesek@bluestatic.org>
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.22.5