>Number:         5770
>Category:       kern
>Synopsis:       the kill command of ddb(4) works not as expected
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    kern-bug-people (Kernel Bug People)
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Jul 16 02:35:00 1998
>Last-Modified:
>Originator:     Benjamin Lorenz
>Organization:
Fachbereich Programmiersysteme, Uni des Saarlandes
>Release:        current (Jun 29)
>Environment:
System: NetBSD toto 1.3E NetBSD 1.3E (FBPS) #1: Tue May 19 23:24:07 CEST 1998 \
 root@toto:/var/src/sys/arch/sparc/compile/FBPS sparc


>Description:
  The kill command of the kernel debugger does not accept process ids 
  in decimal notation. I have to calculate the hex number (which the ps command
  does NOT print!) and enter it as 0x<number>.
  Moreover, the ddb(4) manpage does not mention the kill command at all.
>How-To-Repeat:
  Enter the kernel debugger.
  Try to kill a process after inspecting the process list (using `ps'). You
  will get "no such proc". A new try with the hex value will succeed.
>Fix:
>Audit-Trail:
>Unformatted: