Merge branches 'dev_jupyter' and 'develop' of https://bdgit.educoder.net/Hjqreturn/educoder into develop

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