Enrico Fraccaroli 7c4a4ac0ba Fix difference between PGID and GID. Correctly set UID and GID of new processes. Implement set/get PGID and GID.

2021-12-27 00:49:28 +01:00

..

prio.h

Update MentOs code to the latest development version.

2021-10-04 11:44:02 +02:00

process.h

Fix difference between PGID and GID. Correctly set UID and GID of new processes. Implement set/get PGID and GID.

2021-12-27 00:49:28 +01:00

scheduler.h

Force includes to use absolute paths.

2021-10-05 14:29:24 +02:00

wait.h

Force includes to use absolute paths.

2021-10-05 14:29:24 +02:00