Fix Spalloc - Githubissues

SpiNNakerManchester / spalloc_server

A SpiNNaker machine allocation and partitioning application.

0 stars 2 forks source link

Fix Spalloc #23

Closed rowleya closed 6 years ago

rowleya commented 6 years ago

Some general fixes for the server. This allows the server to shut down correctly when it encounters an error, and also ensures that jobs get notified in the event of an error

coveralls commented 6 years ago

Coverage decreased (-0.1%) to 99.864% when pulling 33a121d440412e382205bedc09c4c1c928619085 on fixspalloc into 6e6cfa5571ff96669b9af1cc0a727a4eed7b00c0 on master.