Qiu Jian d6956095f8 fix: delete servers that has been removed results in delete_failed ...

status

2019-04-21 00:01:51 +08:00

..

coordinator.go

update copyright headers of all source

2019-03-29 14:47:48 +08:00

doc.go

update copyright headers of all source

2019-03-29 14:47:48 +08:00

handler.go

update copyright headers of all source

2019-03-29 14:47:48 +08:00

interface.go

update copyright headers of all source

2019-03-29 14:47:48 +08:00

localtaskworker.go

update copyright headers of all source

2019-03-29 14:47:48 +08:00

subtasks.go

update copyright headers of all source

2019-03-29 14:47:48 +08:00

taskobjs.go

update copyright headers of all source

2019-03-29 14:47:48 +08:00

tasks.go

fix: delete servers that has been removed results in delete_failed

2019-04-21 00:01:51 +08:00

worker.go

update copyright headers of all source

2019-03-29 14:47:48 +08:00