On Dec 18, 2017, at 7:04 PM, bch <[email protected]> wrote:
>
> Does contemporary Linux not randomize its PIDs?
It may be an option, but it isn’t happening on a near-stock CentOS 7 box I have
near at hand here:
$ ls > /dev/null & echo $!
Run that repeatedly on a quiet system, and chances are, you’ll get steadily
increasing PID. Any gaps you get would be other processes starting in the
background.
_______________________________________________
fossil-users mailing list
[email protected]
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
