The max value for PIDs on 64-bit linux is 2^22 (approx 4 million) so 7 characters are needed to display the column reliably.
Released under the GNU Affero General Public License (AGPL), version 3
What does this implement/fix? Explain your changes.
On a Rocky Linux 9 server, z-push-top.php is currently displaying PIDs as "724.." - this is not useful for isolating individual running syncs. As the max PID value on 64-bit linux systems can be 2^22 (approx 4 million) the PID column should be widened to display 7 chars.
...
Does this close any currently open issues?
No
...
Any relevant logs, error output, etc?
Before:
PID IP
724.. 192.168.120.123
After:
PID IP
724103 192.168.120.123
...
Where has this been tested?
Server (please complete the following information):
OS: Rocky Linux 9
PHP Version: 8.1.14
and Version: [2.7.0]
OS: Rocky Linux 8
PHP Version: 7.4.33
and Version: [2.6.4]
Smartphone (please complete the following information):
The max value for PIDs on 64-bit linux is 2^22 (approx 4 million) so 7 characters are needed to display the column reliably.
Released under the GNU Affero General Public License (AGPL), version 3
What does this implement/fix? Explain your changes.
On a Rocky Linux 9 server, z-push-top.php is currently displaying PIDs as "724.." - this is not useful for isolating individual running syncs. As the max PID value on 64-bit linux systems can be 2^22 (approx 4 million) the PID column should be widened to display 7 chars. ...
Does this close any currently open issues?
No ...
Any relevant logs, error output, etc?
Before:
After:
...
Where has this been tested?
Server (please complete the following information):
OS: Rocky Linux 9
PHP Version: 8.1.14
and Version: [2.7.0]
OS: Rocky Linux 8
PHP Version: 7.4.33
and Version: [2.6.4]
Smartphone (please complete the following information):