mirror of
https://github.com/stevenrobertson/cuburn.git
synced 2025-02-05 11:40:04 -05:00
More informative error message on worker dirty repo
This commit is contained in:
parent
8c3a698596
commit
4cd43d564e
@ -68,6 +68,7 @@ def work(server):
|
|||||||
global pycuda
|
global pycuda
|
||||||
import pycuda.autoinit
|
import pycuda.autoinit
|
||||||
rev = git_rev()
|
rev = git_rev()
|
||||||
|
assert rev, 'Repository must be clean!'
|
||||||
r = redis.StrictRedis(server)
|
r = redis.StrictRedis(server)
|
||||||
wid = uu('workers')
|
wid = uu('workers')
|
||||||
r.sadd('renderpool:' + rev + ':workers', wid)
|
r.sadd('renderpool:' + rev + ':workers', wid)
|
||||||
|
Loading…
Reference in New Issue
Block a user