On Wed, Dec 8, 2010 at 4:12 AM, Udo van den Heuvel <udovdh at xs4all.nl> wrote: > OK. I guess I will make it run a bit longer. > I can just kill the backend when we're done? Yes, just kill it with SIGTERM (Ctrl-C on the controlling terminal) and it should work out fine.