Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
Tools
Tools.Hilfe
Tools.Hilfe.StdinHilfe

Methods
 create()
 save_history()
previousTools.Hilfe.StdinHilfe()->create()
Tools.Hilfe.format_hr_time()next

Method Tools.Hilfe.StdinHilfe()->save_history()

Method save_history

void save_history()

Description

Saves the user input history, if possible, when called.