optional<string> const m = _nanomsg.receive (500);
optional<string> const n = _nanomsg.receive (500);
throw CopyError (m.get_value_or("Unknown"), raw_convert<int>(n.get_value_or("0")));
} else if (*s == DISK_WRITER_FORMATTING) {
optional<string> const m = _nanomsg.receive (500);
optional<string> const n = _nanomsg.receive (500);
throw CopyError (m.get_value_or("Unknown"), raw_convert<int>(n.get_value_or("0")));
} else if (*s == DISK_WRITER_FORMATTING) {