-/* Copyright (c) 2009, 2010. The SimGrid Team.
+/* Copyright (c) 2009-2010, 2013. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
int i;
for (i=0; i<3;i++) {
res = MSG_task_receive(&(task), mailbox);
- int pid = *((int*)MSG_task_get_data(task));
+ int pid = *(int*)MSG_task_get_data(task);
+ MSG_task_destroy(task);
XBT_INFO("Killing process \"%d\".", pid);
MSG_process_kill(MSG_process_from_PID(pid));
task = NULL;
MSG_function_register("sendpid", &sendpid);
MSG_function_register("killall", &killall);
- MSG_process_killall(atoi(argv[2]));
+ MSG_process_killall(atoi(argv[3]));
MSG_create_environment(argv[1]);
- MSG_launch_application(argv[1]);
+ MSG_launch_application(argv[2]);
res = MSG_main();
if (res == MSG_OK)