From 756305f0299564f1ca46f6c2864c496d013fa8a0 Mon Sep 17 00:00:00 2001 From: Michael Schurter Date: Tue, 9 Jan 2018 15:18:22 -0800 Subject: [PATCH] Revert "Missed header mention of server.check_restart" This reverts commit 8295f81dddf8b53c0b78707be6fddc6e30f95640. --- website/source/docs/job-specification/check_restart.html.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/website/source/docs/job-specification/check_restart.html.md b/website/source/docs/job-specification/check_restart.html.md index f61648f0f..19b720276 100644 --- a/website/source/docs/job-specification/check_restart.html.md +++ b/website/source/docs/job-specification/check_restart.html.md @@ -10,6 +10,12 @@ description: |- # `check_restart` Stanza + + + +
Placement + job -> group -> task -> service -> **check_restart** +
Placement