Added how to fix a problem in Open OnDemand.

RIKEN-RCCS · Jan 19, 2024 · dc0da6b · dc0da6b
1 parent 56ae2ba
commit dc0da6b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -172,6 +172,7 @@ <h2><a id="note" name="note">Note</a></h2>
           <div class="side">
             <ul>
               <li>The temporal directory for Open OnDemand is <span style="background-color:#dddddd;">${HOME}/ondemand</span>, which is automatically created. There is no problem to delete it, but it also deletes user-installed extensions in Interactive Apps and history files.</li>
+              <li>If a problem occurs, delete <span style="background-color:#dddddd;">${HOME}/ondemand</span>, or click "Restart Web Server" in "Help" on the top bar.</li>
               <li>Internet Explorer 11 is not supported</li>
               <li>If you want to use copy and paste in Remote Desktop, please use the Chrome browser.</li>
             </ul>

diff --git a/docs/index_ja.html b/docs/index_ja.html
@@ -162,6 +162,7 @@ <h2><a id="note" name="note">補足</a></h2>
           <div class="side">
             <ul>
               <li>Open OnDemandのテンポラル用のディレクトリは<span style="background-color:#dddddd;">${HOME}/ondemand</span>です。Open OnDemandを利用すると自動生成されます。削除しても問題ありませんが、履歴やInteractive Appsでユーザがインストールした拡張機能も削除されます。</li>
+              <li>もし不具合が発生した場合、<span style="background-color:#dddddd;">${HOME}/ondemand</span>を削除する、もしくは上のバーの「Help」の「Restart Web Server」をクリック下さい。</li>
               <li>Internet Explorer 11はサポートしていません。</li>
               <li>Remote Desktopでコピーアンドペーストを利用したい場合は、Chromeブラウザをご利用ください。</li>
             </ul>