--- a/src/eric7/Documentation/Source/eric7.Sessions.SessionFile.html	Sat Oct 12 13:00:39 2024 +0200
+++ b/src/eric7/Documentation/Source/eric7.Sessions.SessionFile.html	Sat Oct 12 16:41:06 2024 +0200
@@ -117,7 +117,7 @@
 </dl>
 <a NAME="SessionFile.writeFile" ID="SessionFile.writeFile"></a>
 <h4>SessionFile.writeFile</h4>
-<b>writeFile</b>(<i>filename: str</i>)
+<b>writeFile</b>(<i>filename: str, withServer: bool = True</i>)
 <p>
         Public method to write the session data to a session JSON file.
 </p>
@@ -128,6 +128,11 @@
 <dd>
 name of the session file
 </dd>
+<dt><i>withServer</i> (bool (optional))</dt>
+<dd>
+flag indicating to save the current server connection
+            (defaults to True)
+</dd>
 </dl>
 <dl>
 <dt>Return:</dt>