blob: 0b7778f207f495b9f21144fc5713ecfa814912f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
# Module 'util' -- some useful functions that don't fit elsewhere
# 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.
#
def remove(item, list):
for i in range(len(list)):
if list[i] = item:
del list[i]
break
# 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):
BUFSIZE = 512*8
data = ''
while 1:
buf = fp.read(BUFSIZE)
if not buf: break
data = data + buf
return data
|
