added RECORD_HISTORY option to server