scrapy/scrapy — pull request #719 by Digenis (2014-05-12 19:32:34+00:00)
Title: document spider.closed() shortcut

See: https://github.com/scrapy/scrapy/blob/c70f050bdaeec6d2c32039c005511a32d3b21cc5/scrapy/spidermanager.py#L57-L60