void FUN_004032a0(int param_1)

{

  dprintf(6,"server6_signal","received a signal (%d)",param_1);

  if (param_1 == 0xf) {

    DAT_00438dfc = DAT_00438dfc | 1;

  }

  return;

}