1523 text to be displayed |
1523 text to be displayed |
1524 </dd> |
1524 </dd> |
1525 </dl> |
1525 </dl> |
1526 <a NAME="Shell.__writeBanner" ID="Shell.__writeBanner"></a> |
1526 <a NAME="Shell.__writeBanner" ID="Shell.__writeBanner"></a> |
1527 <h4>Shell.__writeBanner</h4> |
1527 <h4>Shell.__writeBanner</h4> |
1528 <b>__writeBanner</b>(<i>version, platform, venvName</i>) |
1528 <b>__writeBanner</b>(<i>versionStr, platformStr, venvName</i>) |
1529 |
1529 |
1530 <p> |
1530 <p> |
1531 Private method to write a banner with info from the debug client. |
1531 Private method to write a banner with info from the debug client. |
1532 </p> |
1532 </p> |
1533 <dl> |
1533 <dl> |
1534 |
1534 |
1535 <dt><i>version</i> (str)</dt> |
1535 <dt><i>versionStr</i> (str)</dt> |
1536 <dd> |
1536 <dd> |
1537 interpreter version string |
1537 interpreter version string |
1538 </dd> |
1538 </dd> |
1539 <dt><i>platform</i> (str)</dt> |
1539 <dt><i>platformStr</i> (str)</dt> |
1540 <dd> |
1540 <dd> |
1541 platform of the remote interpreter |
1541 platform of the remote interpreter |
1542 </dd> |
1542 </dd> |
1543 <dt><i>venvName</i> (str)</dt> |
1543 <dt><i>venvName</i> (str)</dt> |
1544 <dd> |
1544 <dd> |