From 1be71fb02b8d5b4c770b54b46e91a1256f35648b Mon Sep 17 00:00:00 2001 From: Dietmar Maurer Date: Mon, 15 Apr 2019 08:37:13 +0200 Subject: [PATCH] src/server/worker_task.rs_ do not write ERROR: prefix into task index --- src/server/worker_task.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/server/worker_task.rs b/src/server/worker_task.rs index 44e2aafd..11aeba3f 100644 --- a/src/server/worker_task.rs +++ b/src/server/worker_task.rs @@ -175,7 +175,7 @@ pub fn upid_read_status(upid: &UPID) -> Result { if rest == "OK" { status = String::from(rest); } else if rest.starts_with("ERROR: ") { - status = String::from(rest); + status = String::from(&rest[7..]); } } }