lilalo

view share/labmaker.css @ 27:098664cf339c

find changesets by author, revision, files, or words in the commit message
Выполнены шаги 4,5 в плане N05 по построению распределённой системы lilalo.
Шаг <6> в настоящее время не является необходимым.


Введено понятие сеанса.
Сеансом считается процедура работы с системой, начинающаяся с регистрации
в ней и зазаканчивающаяся разрегистрацией, и сопровождающаяся ведением одного
файла скрипта.
Одновременно с созданием скрипта (.script) создаётся соответствующий ему
файл с информацией о сеансе (.info).
Каждый сеанс имеет уникальный в пределах хоста идентификатор,
~local_session_id~, который впоследствии позволяет определить,
какие команды относятся к какому сеансу.

Добавлен backend-сервер, который получает данные от агентов и записывает
из в backend (в настойщий момент - в XML-файл).
Данные передаются по tcp-соединениям.
(Одновременно может работать несколько серверов.
Блокировка файла при записи пока что не выполняется ОСТОРОЖНО!!!!!!)

Агент периодически пытается отправить backend-серверу содержимое своего кэш-файла,
и если ему это удаётся, кэш файл очищается -- данные теперь хранятся в backend'е.

Взаимодействие агентов, backend-сервера и frontend'а
сейчас выполнеятся так:


+-------+
| |
| cache |
| |
+-^---+-+
| |
. ^ v . ^^ . +---------+ . ^^ .
/ \ tcp / \ | | / \ CGI
( agent )----->( backend- )-->| backend |-->( frontend )----->
\ / \ сервер / | | \ /
' . ' ' .. ' +---------+ ' .. '
^
|
+----+----+
| |
|*.script |
| *.info |
| |
+---------+

l3-frontend:
Теперь может выдавать результат работы на стандартный поток вывода.
Вместо имени файла нужно указать символ -

Добавлены файлы:

l3-backend - backend-сервер
l3-cgi - CGI-обвязка для l3-frontend'а

Новые конфигурационные параметры:
frontend_css Путь к файлу CSS, используемому в HTML-странице, которую генерирует frontend
frontend_google_ico Путь к иконке google
frontend_linux_ico Путь к иконке linux
frontend_freebsd_ico Путь к иконке freebsd
frontend_opennet_ico Путь к иконке opennet
frontend_local_ico Путь к иконке локальной документации

backend_address IP-адрес интерфейса, на котором работает backend-сервер
backend_port Порт, который слушает backend-сервер
backend_pidfile Путь к файлу, который хранит идентификатор процесса backend-сервера
backend_datafile Путь к файлу хранилищу (файлу backend)
author devi
date Mon Nov 07 11:24:49 2005 +0200 (2005-11-07)
parents
children
line source
1 .cline,.wrong_cline,.interrupted_cline,.output,.wrong_output,.interrupted_output,.tab_cline, ._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline
2 {
3 margin : 0px 0px 0px 0px;
4 padding : 0px 0px 0px 10px;
5 vertical-align : top;
6 }
7 .cline,.wrong_cline,.interrupted_cline,.tab_cline,._root_cline,.wrong_root_cline,.interrupted_root_cline,.tab_root_cline
8 { font-weight : bold; }
9 .wrong_output,.wrong_root_output
10 { color : #cc6666; }
11 .interrupted_output,.interrupted_root_output
12 { color : #aaaaaa; }
13 .wrong_cline, .wrong_root_cline
14 { color : #ee7777; }
15 .interrupted_cline, .interrupted_root_cline
16 { color : #777777; }
17
18 ._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline
19 {
20 border-left : #ff0000 solid thin;
21
22 }
23
24 .note {
25 color : black;
26 background : #d8fcff;
27 margin : 12px 12px 12px 12px;
28 padding : 6px 6px 6px 6px;
29 border-style : dashed;
30 border-width : thin;
31 border-color : #a8eaff;
32 vertical-align : top;
33 }
34
35 .note_title,.note_text,.note_search
36 {
37 color : black;
38 margin : 0px 0px 0px 0px;
39 padding : 0px 0px 0px 0px;
40 vertical-align : top;
41 }
42 .note_title { font-family : sans-serif; }
43 .note_text { font-size : 80%; }
44 .note_search { text-align : right; }
45
46
47 .diff {
48 color : black;
49 background : #fdffcd;
50 margin : 16px 16px 16px 16px;
51 padding : 6px 6px 6px 6px;
52 border-style : dashed;
53 border-width : thin;
54 }
55
56 .ttychange {
57 color : #9a9a9a;
58 background : #e7e7e7;
59 margin : 0px 0px 0px 0px;
60 padding : 0px 0px 0px 0px;
61 vertical-align : top;
62 font-family : monospace;
63 }
64
65 .time {
66 color : #999999;
67 margin : 0px 0px 0px 0px;
68 padding : 0px 10px 0px 0px;
69 vertical-align : top;
70 font-size : 80%;
71 vertical-align : top;
72 /* border-right : #9a9a9a solid thin; */
73 }
74
75 .script {
76 margin : 0px 0px 0px 0px;
77 padding : 0px 0px 0px 0px;
78 vertical-align : top;
79 }
80
81 .visibility_form {
82 color : #9a9a9a;
83 background : #e7e7e7;
84 margin : 0px 0px 0px 0px;
85 padding : 0px 0px 0px 0px;
86 vertical-align : top;
87 font-size : 80%;
88 font-family : sans-serif;
89 }