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);
+ }
}
})
}