Changes between Version 13 and Version 14 of Web2
- Timestamp:
- Oct 10, 2023, 11:02:08 PM (7 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Web2
v13 v14 27 27 == Starting up 28 28 29 We can start the server either with the {{{referl}}} script using the {{{-web 2}}} option, or from a running !RefactorErl shell. Both cases provide a default configuration: server name {{{localhost}}}, port {{{8001}}}, and address {{{127.0.0.1.}}}, which can be overridden.29 We can start the server either with the {{{referl}}} script using the {{{-web}}} option, or from a running !RefactorErl shell. Both cases provide a default configuration: server name {{{localhost}}}, port {{{8001}}}, and address {{{127.0.0.1.}}}, which can be overridden. 30 30 31 31 Possible options: … … 52 52 (This option can be used multiple times if you wish to add more than one directories.) 53 53 54 * {{{images_dir IDIR}}}55 56 Path of the directory where the generated images (visualisation of dependency examinations) will be placed.57 58 54 * {{{restricted_mode ENABLED}}} 59 55 … … 62 58 === Startup: referl script 63 59 64 You can pass any of the above options via command-line arguments (note that {{{-web 2}}} is mandatory).60 You can pass any of the above options via command-line arguments (note that {{{-web}}} is mandatory). 65 61 Example: 66 62 {{{ 67 bin/referl -web 263 bin/referl -web 68 64 -yaws_path /Users/V/yaws-1.95/ebin 69 65 -yaws_listen 127.0.0.1 … … 72 68 -browser_root /Users/V/erlang 73 69 -browser_root /Users/V/project 74 -images_dir /Users/V/graph_images75 70 -restricted_mode true 76 71 }}} … … 88 83 {yaws_port,"8000"}, 89 84 {browser_root,"/Users/V/erlang"}, 90 {images_dir,"/Users/V/graph_images"},91 85 {restricted_mode, true}]). 92 86 }}} … … 223 217 == Logging out 224 218 225 You can log out by clicking the "Log out {{{username}}}" button. During the logout process the interface clears the users' session , deletes the dynamically generated images belonging to the user,and redirects the browser to the login page. The interface does not delete the queries executed by the user, nor their results, and also keeps the state of the database.219 You can log out by clicking the "Log out {{{username}}}" button. During the logout process the interface clears the users' session and redirects the browser to the login page. The interface does not delete the queries executed by the user, nor their results, and also keeps the state of the database.
