The unified diff between revisions [95c3202d..] and [30130ddd..] is displayed below. It can also be downloaded as a raw diff.
This diff has been restricted to the following files: 'cmd_db.cc'
#
#
# patch "cmd_db.cc"
# from [ec4c4962621e612101d3afb8148478ffb137d0ee]
# to [ddc1958a87b2e73ffb96f2d1774340d1d42810b1]
#
============================================================
--- cmd_db.cc ec4c4962621e612101d3afb8148478ffb137d0ee
+++ cmd_db.cc ddc1958a87b2e73ffb96f2d1774340d1d42810b1
@@ -188,7 +188,8 @@ CMD(db_kill_rev_locally, "kill_rev_local
db.get_revision(revid, new_work_rev);
new_work_rev.made_for = made_for_workspace;
work.put_work_rev(new_work_rev);
-
+ work.maybe_update_inodeprints(db);
+
// extra paranoia... we _should_ never run this section twice
// since a merged workspace would fail early with work.has_changes()
break;
@@ -354,7 +355,7 @@ CMD(unset, "unset", "", CMD_REF(variable
var_key k(d, n);
database db(app);
- N(db.var_exists(k),
+ N(db.var_exists(k),
F("no var with name %s in domain %s") % n % d);
db.clear_var(k);
}