playframework/Play20 — pull request #397 by maffoo (2012-07-30 23:08:56+00:00)
Title: stop plugins in reverse order that they were started

This allows for more graceful cleanup in case plugins depend on each other. In addition, we report any errors that happen during stop so that these do not get lost.