core_filename

core_on_error が 3 に設定されている場合に 生成されるコアファイルの名前を指定します。

構文:

>>-----set core_filename=---"filename"-----------><

パラメーター：

filename	core_on_error が 3 に設定されている場合に 生成されるコアファイルの名前。 filename に構成文字列が含まれている場合、以下のとおりに解釈される:
	値 意味 %% 単一の文字 % %d プログラムでエラーが発生した日付の yyyymmdd形式 %f エラーを発生したプログラムの基底名 %p エラーを発生したプログラムのプロセスID %t プログラムでエラーが発生した時刻の hhmmss形式

プロパティ:

省略値:	core.pid がカレントディレクトリ下に 作成されます。ここで、 pid エラーを発生したプログラムのプロセスID。
設定:	なし

例:

コマンド

set core_filename="core.%p@%t_%d"

によって、coreファイルは以下の形式のファイル名で生成されます。 core.12345@165920_20080115.

他参照:

• core_on_error