ps warning

[Steve Mynott]

With the current CVS checkout:-

> ps
  PID  TT  STAT      TIME COMMAND
ps: warning: /var/run/dev.db: No such file or directory
  481 #C5  SLs    0:00.04 /usr/local/bin/bash -i
  484 #C5  R0L+   0:00.02 ps
  385 #C1  SL     0:00.45 -bash (bash)
  480 #C1  SL+    0:00.02 script
-- Steve