On Wed, 2009-04-08 at 14:17 +0200, Holger Levsen wrote:
> Hi,
>
> On Mittwoch, 8. April 2009, Paul Wise wrote:
> > How about this:
> >
> > Game a gets installed and ships /var/games
> > Game b gets installed and ships /var/games
> > Game a gets purged and removes /var/games
> > User starts game b and gets a high score
> > Game b tries to save the high score but fails because /var/games doesn't
> > exist
>
> Uhm, I thought it was obvious that /var/games may only be deleted if it's
> empty...
But Paul is describing a situation where it is empty (Game b installed
it, but has not yet written a high score into it), but the simple rmdir
logic will delete it. ==> very bad.
Cheers,
Andrew.
------------------------------------------------------------------------
andrew (AT) morphoss (DOT) com +64(272)DEBIAN
You have no real enemies.
------------------------------------------------------------------------
--
To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
