[pkg-wml] Bug#734507: Bug#734507: wml: forgets to remove temporary /tmp/ipp.* directories

[Axel Beckert]

Hi KiBi,

Cyril Brulebois wrote:
> a temp directory (/tmp/ipp.*) is created to hold a few temp files, which
> are then deleted, but the container never is. This results in some
> inode-eating contest, at least on the host building the Debian website.

*nod* I can indeed reproduce this issue. Thanks for the report, also
to taffit.

> So remove this directory on successful exit (maybe error cases would be
> nice to investigate, though…).
> 
> Patch attached;

Thanks for the patch. Applied in Git. Will be pushed soon and likely
uploaded soon, too.

> also, die, 3.0 (quilt), die, but that's another story.

I'm quite fine with it since the release where it started unapplying
patches at the end of a build if it also had to applied it in the
beginning. Before using it together with a VCS felt like PITA. But
yeah, that's off-topic here. :-)

		Regards, Axel
-- 
 ,''`.  |  Axel Beckert <abe at debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE
  `-    |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5