{"push_id":670825289,"size":1,"distinct_size":1,"ref":"refs/heads/check-backend","head":"29a1cf5fc260b606fe95906a5c7f32d6af03108a","before":"03e28057a16f3621792c89d72352a55d4b461210","commits":[{"sha":"29a1cf5fc260b606fe95906a5c7f32d6af03108a","author":{"email":"474ba67bdb289c6263b36dfd8a7bed6c85b04943@prodigi.ch","name":"James Guthrie"},"message":"Check if backend is valid during shutdown\n\nIn frontend-only mode the backend is initialized to None, so calling its\nkill() member function fails.\n\nFixes frenetic-lang/pyretic#31.\n\nSigned-off-by: James Guthrie <james@prodigi.ch>","distinct":true,"url":"https://api.github.com/repos/JamesGuthrie/pyretic/commits/29a1cf5fc260b606fe95906a5c7f32d6af03108a"}]}