free this dynar in none_finalize (if it was used).

[simgrid.git] / include / amok / peermanagement.h

diff --git a/include/amok/peermanagement.h b/include/amok/peermanagement.h
index 0b3e8c6..1f2fd7a 100644 (file)
--- a/include/amok/peermanagement.h
+++ b/include/amok/peermanagement.h
@@ -61,21 +61,21 @@ XBT_PUBLIC(void) amok_pm_exit(void);
 XBT_PUBLIC(void) amok_pm_mainloop(double timeOut);
 
 XBT_PUBLIC(void) amok_pm_kill_hp(char *name, int port);
-XBT_PUBLIC(void) amok_pm_kill(gras_socket_t buddy);
-XBT_PUBLIC(void) amok_pm_kill_sync(gras_socket_t buddy);
+XBT_PUBLIC(void) amok_pm_kill(xbt_socket_t buddy);
+XBT_PUBLIC(void) amok_pm_kill_sync(xbt_socket_t buddy);
 
 XBT_PUBLIC(xbt_dynar_t) amok_pm_group_new(const char *group_name);
-XBT_PUBLIC(xbt_dynar_t) amok_pm_group_get(gras_socket_t master,
+XBT_PUBLIC(xbt_dynar_t) amok_pm_group_get(xbt_socket_t master,
                                           const char *group_name);
 
-XBT_PUBLIC(int) amok_pm_group_join(gras_socket_t master,
+XBT_PUBLIC(int) amok_pm_group_join(xbt_socket_t master,
                                    const char *group_name);
-XBT_PUBLIC(void) amok_pm_group_leave(gras_socket_t master,
+XBT_PUBLIC(void) amok_pm_group_leave(xbt_socket_t master,
                                      const char *group_name);
 
 
 XBT_PUBLIC(void) amok_pm_group_shutdown(const char *group_name);
-XBT_PUBLIC(void) amok_pm_group_shutdown_remote(gras_socket_t master,
+XBT_PUBLIC(void) amok_pm_group_shutdown_remote(xbt_socket_t master,
                                                const char *group_name);