<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Feb 22, 2020, 20:01 Rob Landley <<a href="mailto:rob@landley.net">rob@landley.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2/22/20 5:16 PM, enh via Toybox wrote:<br>
> While most Android devices still have low pid_max values,<br>
<br>
as does devuan (32768)<br>
<br>
> my laptop and<br>
> desktop are using ever higher values. Auto-size the PID and PPID fields<br>
> based on the system's current configuration rather than hard-coding<br>
> values.<br>
<br>
Ew.<br>
<br>
Out of curiosity, what is your pid_max current set to?<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">My laptop's at 256Ki. </div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Rob<br>
</blockquote></div></div></div>