diff options
| -rw-r--r-- | api.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -334,7 +334,7 @@ async function listen() { if (player == undefined) throw "player had a job, but doesn't exist"; io.emit(player.name, msg.channel); io.emit(player.id, msg.channel); - if (msg.channel == "compile_finished") { + if (msg.channel == "compile_finished" || msg.channel == "grab_failed") { if (!await anyJobsRunningFor(raw, player.name, player.id)) { io.emit(player.name, "done"); io.emit(player.id, "done"); |
