title: Redis's huge files won't delete?
body: <p>I'm using Redis-server for windows ( <a href="https://github.com/MSOpenTech/redis/tree/2.8.4_msopen" rel="noreferrer">2.8.4 - MSOpenTech</a>)  / windows 8 64bit.</p>
  <p>It is working great , but even after I run :</p>
  <p><img src="https://i.stack.imgur.com/pe9mo.png" alt="enter image description here" /></p>
  <p>I see this : <em>(and here are my questions)</em></p>
  <ul>
  <li><p><strong>When <code>Redis-server.exe</code> is up</strong> , I see <a href="https://i.stack.imgur.com/sqJi3.png" rel="noreferrer">3 large files</a> :</p>
  <p><img src="https://i.stack.imgur.com/sqJi3.png" alt="enter image description here" /></p>
  </li>
  <li><p><strong>When <code>Redis-server.exe</code> is down</strong> , I see <a href="https://i.stack.imgur.com/Odzf0.png" rel="noreferrer">2 large files</a> :</p>
  </li>
  </ul>
  <p><img src="https://i.stack.imgur.com/Odzf0.png" alt="enter image description here" /></p>
  <p><strong>Question :</strong></p>
  <p>— 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)</p>
  <p><em>NB
  It seems that it is doing deletion of keys without freeing occupied space. if so , How can I free this unused space?</em></p>