Backend checkin works.

diff --git a/src b/src
index cec4be1a108332cc61f483c65c2cd46e6d55850c..08c754f6d81832fe146a3b1b546699bbe41e0118 100755 (executable)
--- a/src
+++ b/src
@@ -449,7 +449,7 @@ def commit_method(*args):
                comment += "\n"
            comment = comment.replace("'", r"\'")
            with lifted(arg):
-               do_or_die("ci -l -m'{1}' {0}".format(arg, comment))
+               backend.checkin(arg, comment)
            if not quiet and len(args) > 1:
                announce("%s -> %d" % (arg, len(metadata)))