On Sat, Feb 22, 2020, 20:01 Rob Landley <[email protected]> wrote: > On 2/22/20 5:16 PM, enh via Toybox wrote: > > While most Android devices still have low pid_max values, > > as does devuan (32768) > > > my laptop and > > desktop are using ever higher values. Auto-size the PID and PPID fields > > based on the system's current configuration rather than hard-coding > > values. > > Ew. > > Out of curiosity, what is your pid_max current set to? >
My laptop's at 256Ki. Rob >
_______________________________________________ Toybox mailing list [email protected] http://lists.landley.net/listinfo.cgi/toybox-landley.net
