2006-12-16 07:39:33 +01:00
|
|
|
#!/usr/bin/env python
|
|
|
|
|
|
|
|
import os, sys, re, getopt, string, glob, xml.dom.minidom, pprint, md5, socket, getpass, time, random
|
|
|
|
|
|
|
|
def inWorkspace(rel_path=""):
|
|
|
|
"""Treat the given path as relative to the workspace."""
|
|
|
|
|
|
|
|
# Make sure the user has set the workspace variable:
|
|
|
|
try:
|
|
|
|
return os.path.join(os.environ["WORKSPACE"], rel_path )
|
|
|
|
except:
|
|
|
|
print "Oops! You must set the WORKSPACE environment variable to run this script."
|
|
|
|
sys.exit()
|
|
|
|
|
|
|
|
def genguid():
|
|
|
|
g = md5.md5(
|
|
|
|
str(random.random()) +
|
|
|
|
getpass.getuser() +
|
|
|
|
str(time.time()) +
|
|
|
|
socket.gethostbyname(socket.gethostname())).hexdigest()
|
|
|
|
return "%s-%s-%s-%s-%s" % (g[0:8], g[8:12], g[12:16], g[16:20], g[20:])
|
2006-12-22 01:25:11 +01:00
|
|
|
|
|
|
|
def lean(path):
|
|
|
|
"""Lean the slashes forward"""
|
|
|
|
|
|
|
|
return os.path.normpath(path).replace("\\", "/")
|