[patch] PID cmdline argument should be whole from digits

[Eli Zaretskii]

> Date: Sat, 13 Feb 2010 16:20:44 +0100
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> 
> +      if (pid_or_core_arg[0] != 0
> +	  && strspn (pid_or_core_arg, "0123456789") == strlen (pid_or_core_arg))

Should we disallow PIDs in hex?