Use os.path.join() to prepend the directory name
authorJonathan Corbet <corbet@lwn.net>
Thu, 22 Jul 2010 20:43:43 +0000 (14:43 -0600)
committerJonathan Corbet <corbet@lwn.net>
Thu, 22 Jul 2010 20:43:43 +0000 (14:43 -0600)
commitea23ca50c0d3ba5e51a5d00c4811b99b889a521a
tree6bdc57017f7a4bc2c7527280ce839a7dd1d7be3e
parent6ec7bdaa0f271cb205e69f9dd444dced14aa5083
Use os.path.join() to prepend the directory name

...that way we get the right result regardless of whether slashes have been
provided.

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