void256/nifty-gui — pull request #32 by mkaring (2012-05-17 19:22:49+00:00)
Title: Implemented proper shutdown of effects after there lifetime.

As discussed in IRC. It all still working as it seems ;)