K 10 svn:author V 6 alfred K 8 svn:date V 27 2003-03-13T06:29:44.000000Z K 7 svn:log V 198 Make sure we actually have a dev before dereferencing in case someone botches and sends us a NULL pointer. The other code in this file seems to expect it to be able to handle it behaving this way. END