diff options
author | Miles Bader <miles@gnu.org> | 1997-07-21 22:40:45 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1997-07-21 22:40:45 +0000 |
commit | bff3ee28fe3662f75db6532636144a4460565c31 (patch) | |
tree | 1553d663fa42a6dc623fff10dce106ae7cc3bba2 | |
parent | e106d0f9bf3afcd2d0cd0f6d56fb202f524e578e (diff) |
(store_remap):
If we are mutating SOURCE, close any source port it has.
-rw-r--r-- | libstore/remap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libstore/remap.c b/libstore/remap.c index 5841457b..aa7c4580 100644 --- a/libstore/remap.c +++ b/libstore/remap.c @@ -215,6 +215,7 @@ store_remap (struct store *source, source->num_runs = num_xruns; source->flags &= ~STORE_ENFORCED; source->end = 0; /* Needed to make _store_derive work. */ + store_close_source (source); _store_derive (source); *store = source; } |