Show More
@@ -436,11 +436,14 b' class HistoryManager(HistoryAccessor):' | |||||
436 |
|
436 | |||
437 | # The number of the current session in the history database |
|
437 | # The number of the current session in the history database | |
438 | session_number = Integer() |
|
438 | session_number = Integer() | |
439 | # Should we log output to the database? (default no) |
|
439 | ||
440 |
db_log_output = Bool(False, config=True |
|
440 | db_log_output = Bool(False, config=True, | |
441 | # Write to database every x commands (higher values save disk access & power) |
|
441 | help="Should the history database include output? (default: no)" | |
442 | # Values of 1 or less effectively disable caching. |
|
442 | ) | |
443 |
db_cache_size = Integer(0, config=True |
|
443 | db_cache_size = Integer(0, config=True, | |
|
444 | help="Write to database every x commands (higher values save disk access & power).\n" | |||
|
445 | "Values of 1 or less effectively disable caching." | |||
|
446 | ) | |||
444 | # The input and output caches |
|
447 | # The input and output caches | |
445 | db_input_cache = List() |
|
448 | db_input_cache = List() | |
446 | db_output_cache = List() |
|
449 | db_output_cache = List() |
General Comments 0
You need to be logged in to leave comments.
Login now