|
96 | 96 | /// IDE ->> Server: Result(String: OK) |
97 | 97 | /// note over IDE, Client: Open browser (Client framework HTML or URL) |
98 | 98 | /// loop |
99 | | -/// Client -> Server: HTTP request(/static URL) |
100 | | -/// Server -> Client: HTTP response(/static data) |
| 99 | +/// Client -> Server: HTTP request(/static URL) |
| 100 | +/// Server -> Client: HTTP response(/static data) |
101 | 101 | /// end |
102 | 102 | /// ``` |
103 | 103 | /// |
|
111 | 111 | /// participant Server |
112 | 112 | /// participant Client |
113 | 113 | /// alt IDE loads file |
114 | | -/// IDE ->> Client: CurrentFile(String: Path of main.py) |
115 | | -/// opt If Client document is dirty |
116 | | -/// Client ->> IDE: Update(String: contents of main.py) |
117 | | -/// IDE ->> Client: Response(OK) |
118 | | -/// end |
119 | | -/// Client ->> IDE: Response(OK) |
| 114 | +/// IDE ->> Client: CurrentFile(String: Path of main.py) |
| 115 | +/// opt If Client document is dirty |
| 116 | +/// Client ->> IDE: Update(String: contents of main.py) |
| 117 | +/// IDE ->> Client: Response(OK) |
| 118 | +/// end |
| 119 | +/// Client ->> IDE: Response(OK) |
120 | 120 | /// else Client loads file |
121 | | -/// Client ->> IDE: CurrentFile(String: URL of main.py) |
122 | | -/// IDE ->> Client: Response(OK) |
| 121 | +/// Client ->> IDE: CurrentFile(String: URL of main.py) |
| 122 | +/// IDE ->> Client: Response(OK) |
123 | 123 | /// end |
124 | 124 | /// Client ->> Server: HTTP request(URL of main.py) |
125 | 125 | /// Server ->> IDE: LoadFile(String: path to main.py) |
126 | 126 | /// IDE ->> Server: Response(LoadFile(String: file contents of main.py)) |
127 | 127 | /// alt main.py is editable |
128 | | -/// Server ->> Client: HTTP response(contents of Client) |
129 | | -/// Server ->> Client: Update(String: contents of main.py) |
130 | | -/// Client ->> Server: Response(OK) |
131 | | -/// loop |
132 | | -/// Client ->> Server: HTTP request(URL of supporting file in main.py) |
133 | | -/// Server ->> IDE: LoadFile(String: path of supporting file) |
134 | | -/// alt Supporting file in IDE |
135 | | -/// IDE ->> Server: Response(LoadFile(contents of supporting file) |
136 | | -/// Server ->> Client: HTTP response(contents of supporting file) |
137 | | -/// else Supporting file not in IDE |
138 | | -/// IDE ->> Server: Response(LoadFile(None)) |
139 | | -/// Server ->> Client: HTTP response(contents of supporting file from /// filesystem) |
140 | | -/// end |
141 | | -/// end |
| 128 | +/// Server ->> Client: HTTP response(contents of Client) |
| 129 | +/// Server ->> Client: Update(String: contents of main.py) |
| 130 | +/// Client ->> Server: Response(OK) |
| 131 | +/// loop |
| 132 | +/// Client ->> Server: HTTP request(URL of supporting file in main.py) |
| 133 | +/// Server ->> IDE: LoadFile(String: path of supporting file) |
| 134 | +/// alt Supporting file in IDE |
| 135 | +/// IDE ->> Server: Response(LoadFile(contents of supporting file) |
| 136 | +/// Server ->> Client: HTTP response(contents of supporting file) |
| 137 | +/// else Supporting file not in IDE |
| 138 | +/// IDE ->> Server: Response(LoadFile(None)) |
| 139 | +/// Server ->> Client: HTTP response(contents of supporting file from /// filesystem) |
| 140 | +/// end |
| 141 | +/// end |
142 | 142 | /// else main.py not editable and not a project |
143 | | -/// Server ->> Client: HTTP response(contents of main.py) |
| 143 | +/// Server ->> Client: HTTP response(contents of main.py) |
144 | 144 | /// else main.py not editable and is a project |
145 | | -/// Server ->> Client: HTTP response(contents of Client Simple Viewer) |
146 | | -/// Client ->> Server: HTTP request (URL?raw of main.py) |
147 | | -/// Server ->> Client: HTTP response(contents of main.py) |
| 145 | +/// Server ->> Client: HTTP response(contents of Client Simple Viewer) |
| 146 | +/// Client ->> Server: HTTP request (URL?raw of main.py) |
| 147 | +/// Server ->> Client: HTTP response(contents of main.py) |
148 | 148 | /// end |
149 | 149 | /// ``` |
150 | 150 | /// |
|
0 commit comments