From 408767d366d6c79e184b72de55835ec0c260addc Mon Sep 17 00:00:00 2001 From: Fabio Erculiani Date: Sat, 9 Jul 2011 16:20:46 +0200 Subject: [PATCH] [eit] fix rmfrom and addto options --- server/eit | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/server/eit b/server/eit index c87c56b45..48abf82df 100755 --- a/server/eit +++ b/server/eit @@ -147,7 +147,7 @@ if main_cmd == "status": elif main_cmd == "add" and options: _exec_args([REAGENT_EXEC, "update", "--atoms"] + options) -elif main_cmd == "addto" and options and len(options) > 2: +elif main_cmd == "addto" and options and len(options) > 1: os.environ['ETP_REPO'] = options.pop(0) _exec_args([REAGENT_EXEC, "update", "--atoms"] + options) @@ -233,7 +233,7 @@ elif main_cmd == "deps" and options: elif main_cmd == "rm" and options: _exec_args([REAGENT_EXEC, "repo", "remove"] + options) -elif main_cmd == "rmfrom" and options and len(options) > 2: +elif main_cmd == "rmfrom" and options and len(options) > 1: os.environ['ETP_REPO'] = options.pop(0) _exec_args([REAGENT_EXEC, "repo", "remove"] + options)