rename the plugins from the command line, and document it

[simgrid.git] / src / xbt / xbt_virtu.c

diff --git a/src/xbt/xbt_virtu.c b/src/xbt/xbt_virtu.c
index b4d2cb5..8db1fc2 100644 (file)
--- a/src/xbt/xbt_virtu.c
+++ b/src/xbt/xbt_virtu.c
@@ -1,22 +1,18 @@
 /* virtualization layer for XBT */
 
-/* Copyright (c) 2007-2014. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2007-2018. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include "simgrid/msg.h"
-#include "xbt/function_types.h"
-#include "xbt/misc.h"
 #include "xbt/virtu.h"
 
-static int xbt_fake_pid(void)
+int xbt_getpid()
 {
-  return 0;
+  return MSG_process_self_PID();
 }
 
-int_f_void_t xbt_getpid = &xbt_fake_pid;
-
 const char *xbt_procname(void)
 {
   return MSG_process_self_name();