diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-05-15 11:44:58 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-05-15 11:44:58 +0200 |
| commit | 881027a79d25a13875e1ed784c827811e53ba432 (patch) | |
| tree | 5f91e2ff0e58156706261454a0087f5583d8c47c /src/script | |
| parent | b4c219b622235e66fecd5dee1883908d5336a6c0 (diff) | |
Remove assertion from ~LockedPageManager
This assertion will occur any time that the client quits without
shutting down properly due to an error condition. As the user will
report this error instead of the error that was the root cause, it is
better to remove it.
Diffstat (limited to 'src/script')
0 files changed, 0 insertions, 0 deletions