diff options
| author | Vainsocial root <root@vainsocial> | 2017-03-26 13:01:41 +0000 |
|---|---|---|
| committer | Vainsocial root <root@vainsocial> | 2017-03-26 13:01:41 +0000 |
| commit | 91d1f704ba79cad624c5d3e0186e7a70002b9c76 (patch) | |
| tree | 56f75a4b5c12457a9d0c52847ae77d36db450e1f /api.js | |
| parent | 9bca8b27a2ba7e65509f29bc6338b1846633dc76 (diff) | |
| download | bridge-91d1f704ba79cad624c5d3e0186e7a70002b9c76.tar.gz bridge-91d1f704ba79cad624c5d3e0186e7a70002b9c76.zip | |
also check for 'done' after grab_failed
Diffstat (limited to 'api.js')
| -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"); |
