Cecile Tonglet a4427f3635 Clean exit when no space left on device (#6339) ...

Fixes #6305

2020-07-09 14:58:29 +02:00

..

error.rs

Clean exit when no space left on device (#6339)

2020-07-09 14:58:29 +02:00

kvdb.rs

Clean exit when no space left on device (#6339)

2020-07-09 14:58:29 +02:00

lib.rs

Clean exit when no space left on device (#6339)

2020-07-09 14:58:29 +02:00

mem.rs

Clean exit when no space left on device (#6339)

2020-07-09 14:58:29 +02:00