get_pid() for Windows is GetCurrentProcess()

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3185 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/gras/Virtu/rl_process.c b/src/gras/Virtu/rl_process.c
index 1318080..fdb33f1 100644 (file)
--- a/src/gras/Virtu/rl_process.c
+++ b/src/gras/Virtu/rl_process.c
@@ -30,7 +30,11 @@ const char *xbt_procname(void) {
 }
 
 long int gras_os_getpid(void) {
 }
 
 long int gras_os_getpid(void) {

-  return (long int) getpid();
+       #ifdef _WIN32
+       return (long int) GetCurrentProcess();
+       #else
+       return (long int) getpid();
+       #endif

 }
 
 /* **************************************************************************
 }
 
 /* **************************************************************************