Use find() instead of index()
authorJonathan Corbet <corbet@lwn.net>
Thu, 16 Oct 2008 17:48:09 +0000 (11:48 -0600)
committerJonathan Corbet <corbet@lwn.net>
Thu, 16 Oct 2008 17:48:09 +0000 (11:48 -0600)
commitaacbb5f464aff6d86d839f52f6710b3d8d252b41
treec78ec5a72a3bc6da894625aef79869ec5680a8a9
parentd1a8929872216089864d4f28f9c27b2a648d7302
Use find() instead of index()

That keeps it from crashing on seemingly malformed addresses.  Change
suggested by Dave Foster.

Signed-off-by: Jonathan Corbet <corbet@lwn.net>
ConfigFile.py