Reserve some disk space for the garbage collector
We can't open a SQLite database if the disk is full. Since this prevents the garbage collector from running when it's most needed, we reserve some dummy space that we can free just before doing a garbage collection. This actually revives some old code from the Berkeley DB days. Fixes #27.
This commit is contained in:
		
							parent
							
								
									2c26985835
								
							
						
					
					
						commit
						4bc4da331a
					
				
					 9 changed files with 35 additions and 11 deletions
				
			
		|  | @ -843,7 +843,7 @@ void run(Strings args) | |||
|     if (!op) throw UsageError("no operation specified"); | ||||
| 
 | ||||
|     if (op != opDump && op != opRestore) /* !!! hack */ | ||||
|         store = openStore(); | ||||
|         store = openStore(op != opGC); | ||||
| 
 | ||||
|     op(opFlags, opArgs); | ||||
| } | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue