Merge zizzer:/bk/m5 into zower.eecs.umich.edu:/z/hsul/bk/m5
--HG-- extra : convert_revision : 60b307d827220ba76b607d3f18d4fa00ab3fb1d5
This commit is contained in:
commit
22679d3da8
1 changed files with 4 additions and 0 deletions
|
@ -272,6 +272,8 @@ Database::reset()
|
|||
++i;
|
||||
}
|
||||
|
||||
MainBin *orig = MainBin::current();
|
||||
|
||||
list<GenBin *>::iterator bi = bins.begin();
|
||||
list<GenBin *>::iterator be = bins.end();
|
||||
while (bi != be) {
|
||||
|
@ -286,6 +288,8 @@ Database::reset()
|
|||
}
|
||||
++bi;
|
||||
}
|
||||
|
||||
orig->activate();
|
||||
}
|
||||
|
||||
void
|
||||
|
|
Loading…
Reference in a new issue