DrTech commited on
Commit
3e1b288
·
verified ·
1 Parent(s): 3987fa3

Delete config.toml

Browse files
Files changed (1) hide show
  1. config.toml +0 -57
config.toml DELETED
@@ -1,57 +0,0 @@
1
- [global]
2
- # If True, will show a warning when you run a Streamlit-enabled script via "python my_script.py".
3
- # Default: true
4
- showWarningOnDirectExecution = true
5
-
6
- [logger]
7
- # Level of logging: 'error', 'warning', 'info', or 'debug'.
8
- # Default: 'info'
9
- level = "debug"
10
-
11
-
12
-
13
- [runner]
14
- # Allows you to type a variable or string by itself in a single line of Python code to write it to the app.
15
- # Default: true
16
- magicEnabled = true
17
-
18
-
19
-
20
- [server]
21
- # List of folders that should not be watched for changes. Relative paths will be taken as relative to the current working directory.
22
- # Example: ['/home/user1/env', 'relative/path/to/folder']
23
- # Default: []
24
- folderWatchBlacklist = ['']
25
-
26
- # If false, will attempt to open a browser window on start.
27
- # Default: false unless (1) we are on a Linux box where DISPLAY is unset, or (2) server.liveSave is set.
28
- headless = true
29
-
30
- # Immediately share the app in such a way that enables live monitoring, and post-run analysis.
31
- # Default: false
32
- liveSave = false
33
-
34
- # Automatically rerun script when the file is modified on disk.
35
- # Default: false
36
- runOnSave = false
37
-
38
- # The port where the server will listen for client and browser connections.
39
- # Default: 8501
40
- port = 80
41
-
42
- # Enables support for Cross-Origin Request Sharing, for added security.
43
- # Default: true
44
- enableCORS = false
45
-
46
- [browser]
47
- # Internet address of the server that the browser should connect to. Can be IP address or DNS name.
48
- # Default: 'localhost'
49
- serverAddress = "0.0.0.0"
50
-
51
- # Whether to send usage statistics to Streamlit.
52
- # Default: true
53
- gatherUsageStats = true
54
-
55
- # Port that the browser should use to connect to the server when in liveSave mode.
56
- # Default: whatever value is set in server.port.
57
- serverPort = 80