request-resync-on-reload (プロシージャ)
public {request-resync-on-reload url:Url}:void
パッケージ: CURL.ENGINE.COMMON

url が次回にロードされるときに、再同期を要求します。

説明

指定 URL が次回にロードされる際に、この URL と Curl アプレットの再同期を要求します。他の種類のファイルは影響を受けません。
次のロード時には、ターゲット アプレットの process-resync-as-of の時刻がアプレットの開始時刻に設定されます。これにより、すべてのパッケージとサブファイルがその時刻から強制的に同期されることになります。
対象のアプレットが再ロードされる前に Curl RTE がシャットダウンされると、これは効果がありません。