| 
									
										
										
										
											1991-02-19 13:04:40 +00:00
										 |  |  | # Module 'util' -- some useful functions that don't fit elsewhere | 
					
						
							| 
									
										
										
										
											1990-10-13 19:23:40 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1991-04-07 13:43:34 +00: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 19:34:48 +00:00
										 |  |  | # compatibility (i.e. need to run with old interpreters). | 
					
						
							| 
									
										
										
										
											1991-04-07 13:43:34 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1991-02-19 13:04:40 +00: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 19:23:40 +00:00
										 |  |  | # | 
					
						
							|  |  |  | def remove(item, list): | 
					
						
							| 
									
										
										
										
											1991-04-07 13:43:34 +00:00
										 |  |  | 	if item in list: list.remove(item) | 
					
						
							| 
									
										
										
										
											1991-02-19 13:04:40 +00: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 13:43:34 +00:00
										 |  |  | 	return fp.read() |