[server] drop system_source_cnx for a simpler internal API system_source_cnx() can be replaced with source_cnx(). If system_source_cnx() is called with dbms_system_base=False, it is strictly equivalent to calling source_cnx() with the same source, privileges and interactivity. If system_source_cnx() is called with dbms_system_base=True, it is equivalent to calling source_cnx() with the system database and the same source, privileges and interactivity. No use of the default value for 'special_privs' was found in the code.

First of all, you can use this site as any web site by clicking on the
different links. The Logo on the top left of this page will lead you
to a start page from which you will be able to navigate to all the
data hosted on this site.

The bookmarks box on the left hand side provides some useful
shortcuts.

Most text is indexed and you can search all the content by typing
words in the search box.