IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-03 12:10:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

Ensure builtins.SERVER_MODE is present so the docs build cleanly.

Browse Source
This commit is contained in:
Dave Page 2017-08-25 11:19:27 +01:00
parent f195b18f2d
commit 0e5ea58294
2 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/en_US/build_code_snippet.py
View File

@ -2,6 +2,14 @@ import os
import sys import sys
import inspect import inspect
if sys.version_info[0] >= 3:
import builtins
else:
import __builtin__ as builtins
# Ensure the global server mode is set.
builtins.SERVER_MODE = None
root = os.path.realpath( root = os.path.realpath(
os.path.dirname( os.path.dirname(
os.path.realpath(__file__) os.path.realpath(__file__)

8
docs/en_US/conf.py
View File

@ -13,6 +13,14 @@
import sys, os import sys, os
if sys.version_info[0] >= 3:
import builtins
else:
import __builtin__ as builtins
# Ensure the global server mode is set.
builtins.SERVER_MODE = None
# Import the pgAdmin config # Import the pgAdmin config
root = os.path.dirname(os.path.realpath(__file__)) root = os.path.dirname(os.path.realpath(__file__))
sys.path.insert(0, root + '/../../web/') sys.path.insert(0, root + '/../../web/')