Fabrizio Fabbri 2017-05-17 21:11:26 +02:00
parent e688ca4058
commit 6c8449b147
No known key found for this signature in database
GPG key ID: 8276EDF3D10E6C35

View file

@ -189,7 +189,7 @@ thread_cleanup(void *aux)
cl_env_ptr env = process->process.env;
/* The following flags will disable all interrupts. */
AO_store_full((AO_t*)&process->process.phase, ECL_PROCESS_EXITING);
ecl_disable_interrupts_env(env);
if (env) ecl_disable_interrupts_env(env);
#ifdef HAVE_SIGPROCMASK
/* ...but we might get stray signals. */
{