Mark non returning functions
Fix a problem with ISA server proxy