diff --git a/tools/lib/provision.py b/tools/lib/provision.py
index bd75f5affe..c582152bc2 100755
--- a/tools/lib/provision.py
+++ b/tools/lib/provision.py
@@ -42,9 +42,11 @@ COVERAGE_DIR_PATH = os.path.join(VAR_DIR_PATH, 'coverage')
 LINECOVERAGE_DIR_PATH = os.path.join(VAR_DIR_PATH, 'linecoverage-report')
 NODE_TEST_COVERAGE_DIR_PATH = os.path.join(VAR_DIR_PATH, 'node-coverage')
 
+is_travis = 'TRAVIS' in os.environ
+is_circleci = 'CIRCLECI' in os.environ
+
 # TODO: De-duplicate this with emoji_dump.py
 EMOJI_CACHE_PATH = "/srv/zulip-emoji-cache"
-is_travis = 'TRAVIS' in os.environ
 if is_travis:
     # In Travis CI, we don't have root access
     EMOJI_CACHE_PATH = "/home/travis/zulip-emoji-cache"
@@ -295,7 +297,7 @@ def main(options):
     run(["scripts/setup/generate_secrets.py", "--development"])
     run(["tools/update-authors-json", "--use-fixture"])
     run(["tools/inline-email-css"])
-    if is_travis and not options.is_production_travis:
+    if is_circleci or (is_travis and not options.is_production_travis):
         run(["sudo", "service", "rabbitmq-server", "restart"])
         run(["sudo", "service", "redis-server", "restart"])
         run(["sudo", "service", "memcached", "restart"])