Availability:C-language interface function
void PL_cleanup_fork()Stop intervaltimer that may be running on behalf of profile/1.
The call is intended to be used in combination with fork():
if ( (pid=fork()) == 0 )
{ PL_cleanup_fork();
<some exec variation>
}
The call behaves the same on Windows, though there is probably no
meaningful application.