From 374d907676a9a0c08c4256f3b9913459bfe503c4 Mon Sep 17 00:00:00 2001
From: Florian Heiderich <florian@heiderich.org>
Date: Fri, 16 Aug 2019 13:49:36 +0200
Subject: [PATCH] call update-OPL-statistics after restore-OPL-tables

---
 docker-config/docker-entrypoint.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker-config/docker-entrypoint.sh b/docker-config/docker-entrypoint.sh
index 3fb3612e49..7a172a8c7b 100755
--- a/docker-config/docker-entrypoint.sh
+++ b/docker-config/docker-entrypoint.sh
@@ -129,6 +129,7 @@ if [ "$1" = 'apache2' ]; then
       if [ -f "$APP_ROOT/libraries/webwork-open-problem-library/TABLE-DUMP/OPL-tables.sql" ]; then
         echo "Restoring OPL tables from the TABLE-DUMP/OPL-tables.sql file"
         ./restore-OPL-tables
+	./update-OPL-statistics
         if [ -d $APP_ROOT/libraries/webwork-open-problem-library/JSON-SAVED ]; then
           # Restore saved JSON files
           echo "Restoring JSON files from JSON-SAVED directory"