}
}
-msg_file_t get_file_descriptor(const char *file_name){
+static msg_file_t get_file_descriptor(const char *file_name){
char full_name[1024];
msg_file_t file = NULL;
static void action_close(const char *const *action) {
const char *file_name = action[2];
- char full_name[1024];
msg_file_t file;
double clock = MSG_get_clock(); /* this "call" is free thanks to inlining */
/* Explicit finalization of the action module is required now*/
MSG_action_exit();
- return !!MSG_OK;
+ return !!res;
} /* end_of_main */