Extracted from Pike v8.0 release 240 as of 2016-05-30.
   

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


Method save_history

void save_history()

Description

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