| 1 | module "/pliant/storage/database.pli" | |
| 2 | ||
| 3 | public | |
| 4 | ||
| 5 | type LogFile | |
| 6 | field Str service | |
| 7 | field Str file | |
| 8 | field Int mini_mb <- 16 ; field Int maxi_mb <- 32 | |
| 9 | ||
| 10 | type LogDatabase | |
| 11 | field Set:LogFile file | |
| 12 | field Bool memory <- false | |
| 13 | ||
| 14 | (gvar Database:LogDatabase log_database) load "security:/log.pdb" mount "/pliant/log" | |
| 15 | if log_database:data:memory | |
| 16 | trace_memory := true | |