void FSYNC_clientFinis(void) { SYNC_closeChannel(&fssync_state); }
int SALVSYNC_clientFinis(void) { SYNC_closeChannel(&salvsync_client_state); return 1; }