1991-02-19 09:04:40 -04:00
|
|
|
# Module 'util' -- some useful functions that don't fit elsewhere
|
1990-10-13 16:23:40 -03:00
|
|
|
|
1991-04-07 10:43:34 -03:00
|
|
|
# NB: These are now built-in functions, but this module is provided
|
|
|
|
# for compatibility. Don't use in new programs unless you need backward
|
1991-04-21 16:34:48 -03:00
|
|
|
# compatibility (i.e. need to run with old interpreters).
|
1991-04-07 10:43:34 -03:00
|
|
|
|
1991-02-19 09:04:40 -04:00
|
|
|
|
|
|
|
# Remove an item from a list.
|
|
|
|
# No complaints if it isn't in the list at all.
|
|
|
|
# If it occurs more than once, remove the first occurrence.
|
1990-10-13 16:23:40 -03:00
|
|
|
#
|
|
|
|
def remove(item, list):
|
1991-04-07 10:43:34 -03:00
|
|
|
if item in list: list.remove(item)
|
1991-02-19 09:04:40 -04:00
|
|
|
|
|
|
|
|
|
|
|
# Return a string containing a file's contents.
|
|
|
|
#
|
|
|
|
def readfile(fn):
|
|
|
|
return readopenfile(open(fn, 'r'))
|
|
|
|
|
|
|
|
|
|
|
|
# Read an open file until EOF.
|
|
|
|
#
|
|
|
|
def readopenfile(fp):
|
1991-04-07 10:43:34 -03:00
|
|
|
return fp.read()
|