-void gras_trp_file_close(gras_socket_t sd);
-
-void gras_trp_file_chunk_send_raw(gras_socket_t sd,
- const char *data,
- unsigned long int size);
-void gras_trp_file_chunk_send(gras_socket_t sd,
- const char *data,
- unsigned long int size,
- int stable_ignored);
-
-int gras_trp_file_chunk_recv(gras_socket_t sd,
- char *data,
- unsigned long int size);
+void gras_trp_file_close(xbt_socket_t sd);
+
+void gras_trp_file_chunk_send_raw(xbt_socket_t sd,
+ const char *data,
+ unsigned long int size);
+void gras_trp_file_chunk_send(xbt_socket_t sd, const char *data,
+ unsigned long int size, int stable_ignored);
+
+int gras_trp_file_chunk_recv(xbt_socket_t sd,
+ char *data, unsigned long int size);