From 314a7cfa76dd1faafdcd0377288aeaad5b001fd8 Mon Sep 17 00:00:00 2001
From: tangjiang <465264938@qq.com>
Date: Fri, 13 Dec 2019 23:04:32 +0800
Subject: [PATCH] add reload page

---
 public/react/src/redux/actions/jupyter.js | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/public/react/src/redux/actions/jupyter.js b/public/react/src/redux/actions/jupyter.js
index f641bb20f..57c12e6d3 100644
--- a/public/react/src/redux/actions/jupyter.js
+++ b/public/react/src/redux/actions/jupyter.js
@@ -4,7 +4,7 @@
  * @Github: 
  * @Date: 2019-12-12 09:01:30
  * @LastEditors: tangjiang
- * @LastEditTime: 2019-12-13 21:02:48
+ * @LastEditTime: 2019-12-13 23:03:27
  */
 import types from "./actionTypes";
 import { message } from 'antd';
@@ -100,7 +100,12 @@ export const syncJupyterCode = (identifier, msg) => {
       if (res.data.status === 401) return;
       if (res.status === 200) {
         const {status} = res.data
-        if (status === 0) message.success(msg);
+        if (status === 0) {
+          message.success(msg);
+          setTimeout(() => {
+            window.location.reload();
+          }, 300);
+        }
       }
     })
   }