From 65e3593995ddd64df91a7b29c607259f4d61c4ef Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 27 Mar 2013 10:35:38 +0100
Subject: [PATCH] oops

---
 manifold/js/manifold.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manifold/js/manifold.js b/manifold/js/manifold.js
index 66f8dd73..934a1697 100644
--- a/manifold/js/manifold.js
+++ b/manifold/js/manifold.js
@@ -73,7 +73,7 @@ var manifold = {
 	    alert("Your session has expired, please log in again");
 	    window.location="/logout/";
 	    return;
-	} elif (data.code != 0) {
+	} else if (data.code != 0) {
 	    alert("Error received from manifold backend at " + MANIFOLD_URL + " [" + data.output + "]");
 	    return;
 	}
-- 
2.47.0