One more comment is that if you plan to use the pid to track machine reservation, then the column name in the table should be renamed to pid.
« Back to merge proposal
One more comment is that if you plan to use the pid to track machine reservation,
then the column name in the table should be renamed to pid.