fix startup module on new thread to be user module

This commit is contained in:
Vítor Santos Costa 2013-09-28 23:20:39 +01:00
parent 577b99367d
commit bef9cec46a

View File

@ -111,9 +111,13 @@ store_specs(int new_worker_id, UInt ssize, UInt tsize, UInt sysize, Term *tpgoal
} }
REMOTE_ThreadHandle(new_worker_id).tgoal = REMOTE_ThreadHandle(new_worker_id).tgoal =
Yap_StoreTermInDB(Deref(*tpgoal), 7); Yap_StoreTermInDB(Deref(*tpgoal), 7);
REMOTE_ThreadHandle(new_worker_id).cmod = if (CurrentModule) {
CurrentModule; REMOTE_ThreadHandle(new_worker_id).cmod =
CurrentModule;
} else {
REMOTE_ThreadHandle(new_worker_id).cmod = USER_MODULE;
}
tdetach = Deref(*tpdetach); tdetach = Deref(*tpdetach);
if (IsVarTerm(tdetach)){ if (IsVarTerm(tdetach)){
REMOTE_ThreadHandle(new_worker_id).tdetach = REMOTE_ThreadHandle(new_worker_id).tdetach =