From 0e5ea582943dd345c6b5e62a1d5213f89f6ca834 Mon Sep 17 00:00:00 2001 From: Dave Page Date: Fri, 25 Aug 2017 11:19:27 +0100 Subject: [PATCH] Ensure builtins.SERVER_MODE is present so the docs build cleanly. --- docs/en_US/build_code_snippet.py | 8 ++++++++ docs/en_US/conf.py | 8 ++++++++ 2 files changed, 16 insertions(+) diff --git a/docs/en_US/build_code_snippet.py b/docs/en_US/build_code_snippet.py index 982952e46..a0700026d 100644 --- a/docs/en_US/build_code_snippet.py +++ b/docs/en_US/build_code_snippet.py @@ -2,6 +2,14 @@ import os import sys 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( os.path.dirname( os.path.realpath(__file__) diff --git a/docs/en_US/conf.py b/docs/en_US/conf.py index 0ea47babf..7c4cc2f79 100644 --- a/docs/en_US/conf.py +++ b/docs/en_US/conf.py @@ -13,6 +13,14 @@ 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 root = os.path.dirname(os.path.realpath(__file__)) sys.path.insert(0, root + '/../../web/')