-/* Copyright (c) 2006-2021. The SimGrid Team.
+/* Copyright (c) 2006-2022. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
int num = Integer.parseInt(args[0]);
Msg.debug("Receiving on 'worker_"+num+"'");
- while(true) {
+ while(true) {
Task task = Task.receive("worker_"+num);
if ("finalize".equals(task.getName())) {