Commit 4cc2911c9c2cf014df66db453d8e45f830244203
1 parent
20045d09
add 3 reserved keywords in session :
AWS_CURRENT_DICTIONARY AWS_WEB_SITE_PUBLIC_DIR AWS_WEB_SITE_DIR
Showing
1 changed file
with
10 additions
and
1 deletions
Show diff stats
web/CXM_web_session.anubis
| @@ -22,7 +22,10 @@ read CXM_web_dump.anubis | @@ -22,7 +22,10 @@ read CXM_web_dump.anubis | ||
| 22 | "AWS_CURRENT_SPACE" String current web space in application | 22 | "AWS_CURRENT_SPACE" String current web space in application |
| 23 | "AWS_CURRENT_CONTENT" String current in the web space | 23 | "AWS_CURRENT_CONTENT" String current in the web space |
| 24 | "AWS_CURRENT_PAGE_RENDERER" String current page renderer | 24 | "AWS_CURRENT_PAGE_RENDERER" String current page renderer |
| 25 | - | 25 | + "AWS_CURRENT_DICTIONARY" String current dictionary name used for the application |
| 26 | + "AWS_WEB_SITE_PUBLIC_DIR" String | ||
| 27 | + "AWS_WEB_SITE_DIR" String | ||
| 28 | + | ||
| 26 | //"AWS_CURRENT_LEFT_MENU" Left_Menu current left menu on the page | 29 | //"AWS_CURRENT_LEFT_MENU" Left_Menu current left menu on the page |
| 27 | //"AWS_CURRENT_MENU" Menu current menu, on the top of the page | 30 | //"AWS_CURRENT_MENU" Menu current menu, on the top of the page |
| 28 | 31 | ||
| @@ -73,6 +76,11 @@ public define WEB_Session_No_Var | @@ -73,6 +76,11 @@ public define WEB_Session_No_Var | ||
| 73 | "AWS_CURRENT_CONTENT" String current in the web space | 76 | "AWS_CURRENT_CONTENT" String current in the web space |
| 74 | "AWS_CURRENT_PAGE_RENDERER" String current page renderer | 77 | "AWS_CURRENT_PAGE_RENDERER" String current page renderer |
| 75 | 78 | ||
| 79 | + | ||
| 80 | +public define One set_web_site_directory(WEB_Session s, String n) = replace_String(s.fields, "AWS_WEB_SITE_DIR", n). | ||
| 81 | +public define One set_web_site_directory(Var(List(Session_Field)) fields, String n) = replace_String(fields, "AWS_WEB_SITE_DIR", n). | ||
| 82 | +public define String get_web_site_directory(WEB_Session s) = get_String (s.fields, "AWS_WEB_SITE_DIR", ""). | ||
| 83 | + | ||
| 76 | public define One set_web_app(WEB_Session s, String n) = replace_String(s.fields, "AWS_CURRENT_APP", n). | 84 | public define One set_web_app(WEB_Session s, String n) = replace_String(s.fields, "AWS_CURRENT_APP", n). |
| 77 | public define One set_web_app(Var(List(Session_Field)) fields, String n) = replace_String(fields, "AWS_CURRENT_APP", n). | 85 | public define One set_web_app(Var(List(Session_Field)) fields, String n) = replace_String(fields, "AWS_CURRENT_APP", n). |
| 78 | public define String get_web_app(WEB_Session s) = get_String (s.fields, "AWS_CURRENT_APP", ""). | 86 | public define String get_web_app(WEB_Session s) = get_String (s.fields, "AWS_CURRENT_APP", ""). |
| @@ -103,6 +111,7 @@ public define Maybe($T) get_Serialized_type(WEB_Session s, String n) | @@ -103,6 +111,7 @@ public define Maybe($T) get_Serialized_type(WEB_Session s, String n) | ||
| 103 | public define $T get_Serialized_type(WEB_Session s, String n, $T default) = get_Serialized_type(s.fields, n, default). | 111 | public define $T get_Serialized_type(WEB_Session s, String n, $T default) = get_Serialized_type(s.fields, n, default). |
| 104 | public define One remove_Serialized_type(WEB_Session s, String n) = remove_Serialized_type(s.fields, n). | 112 | public define One remove_Serialized_type(WEB_Session s, String n) = remove_Serialized_type(s.fields, n). |
| 105 | 113 | ||
| 114 | + | ||
| 106 | public define String | 115 | public define String |
| 107 | dump_WEB_Session_Fields | 116 | dump_WEB_Session_Fields |
| 108 | ( | 117 | ( |