Spaces:
Running
Running
tweaked timeout options
Browse files
app/app.R
CHANGED
@@ -21,12 +21,9 @@ library(parallel)
|
|
21 |
library(Rnumerai)
|
22 |
|
23 |
|
24 |
-
# Options
|
25 |
-
options(timeout = 100000000)
|
26 |
-
|
27 |
-
|
28 |
# Pre-download all usernames
|
29 |
-
|
|
|
30 |
|
31 |
|
32 |
# ==============================================================================
|
|
|
21 |
library(Rnumerai)
|
22 |
|
23 |
|
|
|
|
|
|
|
|
|
24 |
# Pre-download all usernames
|
25 |
+
options(timeout = max(1000, getOption("timeout")))
|
26 |
+
ls_username <- sort(get_leaderboard()$username)
|
27 |
|
28 |
|
29 |
# ==============================================================================
|