I'm using Redis-server for windows ( 2.8.4 - MSOpenTech) / windows 8 64bit.
It is working great , but even after I run :

I see this : (and here are my questions)
When
Redis-server.exeis up , I see 3 large files :
When
Redis-server.exeis down , I see 2 large files :

Question :
— Didn't I just tell it to erase all DB ? so why are those 2/3 huge files are still there ? How can I completely erase those files? ( without re-generating)
NB It seems that it is doing deletion of keys without freeing occupied space. if so , How can I free this unused space?