bump requirejs waitSeconds to 30

default is 7, and can timeout inappropriately on slow connections
11 years ago · 70e9186914
parent 159b470c86
commit 70e9186914
1 changed files with 2 additions and 1 deletions
--- a/notebook/templates/page.html
+++ b/notebook/templates/page.html
@ -64,7 +64,8 @@
              deps: ["jquery"],
              exports: "$"
            }
-          }
+          },
+          waitSeconds: 30,
      });

      require.config({