Extracted from Pike v7.6 release 61 at 2005-12-30.
[Top]
Tools
Tools.Hilfe
Tools.Hilfe.StdinHilfe
Methods
create()
save_history()
Tools.Hilfe.StdinHilfe()->create()
Tools.Hilfe.format_hr_time()
Method Tools.Hilfe.StdinHilfe()->save_history()
Method
save_history
void
save_history
(
)
Description
Saves the user input history, if possible, when called.