[01:29:54] <vgodunko> Что-то на совсем мало...
[01:30:08] <nordwind> ночь
[01:30:22] <vgodunko> надо галактические ворота восстановить.
[01:30:22] <nordwind> ешьу
[01:30:32] <nordwind> time
[01:30:47] <vgodunko> Да, это тоже верно
[01:30:56] <vgodunko> Походу пора спать...
[01:31:08] <nordwind> хм думал жаба среагирует
[10:39:23] <subj_rs> хм, пытаюсь сделать
protected type Buffer_Type is
entry Put (Data : String);
entry Get (Data: out ASU.Unbounded_String);
private
Max : Integer := 1024;
type Buf_Array is array (1 .. Max) of ASU.Unbounded_String;

пишет что illegal declaration in protected definition (ругается на type Buf_Array
[10:40:25] <subj_rs> чо за нах? я не хочу описание этого типа массива выносить из защищенного типа
[10:44:27] <subj_rs> непрядок! моя негодовать!!!
[11:39:15] <subj_rs> /me почти доделал феншуйный логгер
[11:53:36] <nordwind> здорово
[11:53:46] <nordwind> ку
[11:56:57] <subj_rs> как в html сделать надпись определенного цвета?
[12:06:47] <vgodunko> subj_rs: а придётся.
[12:07:10] <vgodunko> приватная часть защищённого типа имеет весьма ограниченное назначение.
[12:27:03] <subj_rs> все, переделал логгер
[12:50:49] <subj_rs> https://github.com/subjrs/Jaba/blob/master/src/lib-log.adb
сойдет для сельской местности?
[12:53:05] <vgodunko> А почему нет? ;-)
[12:55:48] <gour> а где? где же with League.Strings ? :)
[12:56:29] <subj_rs> ну ...
[12:56:41] <subj_rs> когда будет axmpp тогда и будет все остальное )
[12:57:15] <subj_rs> тест
[12:58:42] <subj_rs> теперь красненьким цветом будет в логе цвета отображаться )
[12:59:31] <nordwind> угу
[13:00:28] <nordwind> робит
[13:18:19] <nordwind> jabba hut значит
[14:05:27] <gour> hutt
[14:05:49] <subj_rs> Жаба, млекопетающее
[14:55:27] <subj_rs> логгер ошибками плюетцо
[14:59:36] <subj_rs>
j := Message'First;
->> Parsed := Parsed & Message (j);

я так понимаю тут может быть проблема только в случае если message="" ?
[15:02:32] <vgodunko> Да
[15:02:44] <subj_rs> хм
[15:04:23] <subj_rs> выполнение до этого блока впринципе не дойдет если в групчат сообщении не будет указанна конференция
[15:04:46] <subj_rs> или сделать проверку и не парить себе мозг?
[15:12:22] <subj_rs>
j := Message'First;
loop
Parsed := Parsed & Message (j);
if Message (j) = ASCII.LF then
Parsed := Parsed & "<br>";
end if;
j := j + 1;
exit when j > Message'Last;
end loop;

мож ктонить свежим взглядом глянет где еще могут быть траблы здесь?
[15:24:16] <subj_rs> fixed
[15:48:12] <subj_rs> /me подобрал не режущие цвета в лог
[16:01:02] <nordwind> http://goo.gl/CpiRF http://tinyurl.com/3jbr2lf ?
[16:02:32] <nordwind> http://tinyurl.com/ada-ru-log
[16:03:38] <subj_rs> чот их много развелось )
[16:04:12] <subj_rs> а кто владелец домена ada-ru.org?
[16:04:34] <nordwind> в смысле это для топика лучше модет?
[16:04:48] <subj_rs> а оно постоянно?
[16:05:00] <nordwind> http://tinyurl.com/ada-ru-logs даже
[16:05:15] <subj_rs> Admin Name:Dmitriy Anisimkov
[16:05:28] <nordwind> почему нет? в других конфах делают же
[16:06:28] <subj_rs> yeo: ты?
[16:07:44] <subj_rs> nordwind: уговорил )
[16:07:55] <nordwind> :)
[16:08:02] <subj_rs> nordwind: мог и сам топег выставить на самом деле )
[16:09:08] <nordwind> хм
[16:09:16] <nordwind> я и не в курсе был
[16:09:27] <subj_rs> вот только айпи потом может смениться
[16:09:44] <nordwind> сменится поменяем
[16:09:49] <nordwind> делов то
[16:10:21] <nordwind> главное чтоб логи куда надо хранились
[17:04:23] <subj_rs> там в конференции предлагают тестовую машинку выделить для сайта
[17:06:21] <nordwind> в какой?
[17:06:28] <subj_rs> почтовой
[17:06:47] <subj_rs> ada_ru@yahoogroups.com
[17:13:24] <nordwind> пытаюсь подписаться
[17:15:18] <nordwind> а нашел вижу
[17:16:17] <nordwind> хм и почему нет?
[17:16:46] <subj_rs> я за. мож даже получиться там место для бота выклянчить )
[17:17:00] <subj_rs> но сайт не мой
[17:17:50] <nordwind> ada-ru.selfip.org?
[17:17:57] <subj_rs> ага
[17:19:04] <nordwind> а ada-ru.org чей?
[17:19:28] <subj_rs> yeo: кажется имеет к нему отношение. не помню
[17:26:55] <nordwind> а это нормально что в веб рассылке кодировки пляшут?
[17:35:58] <vgodunko> Ура!!! Матрёшка прошла все not-wf и valid тесты для XML!
[17:36:26] <vgodunko> Куда бы приклеить лейбл... ;-)
[17:46:38] <nordwind> о
[17:46:49] <nordwind> поздравляю!
[17:52:52] <yeo> ada-ru.org наш :)
[17:59:36] <vgodunko> Спасибо.
[17:59:53] <vgodunko> Оказалось, что XML не такой уж страшный как кажется после прихода первого понимания.
[18:13:29] <StarGate> [notice] bridge "#ada@irc.tpu.ru <-> ada-ru@conference.jabber.ru" is running in limited mode
[18:38:44] <nordwind> раз наш тогда я что то не понимаю в чем загвоздка?
[18:53:18] <nordwind> нет машины для сервера или что?
[18:54:25] <subjrs> да! в самом деле! что за беспредел?
[18:54:52] <subjrs> могу хоть на своей вертуалке развернуть )
[18:55:27] <StarGate> [notice] bridge "#ada@irc.tpu.ru <-> ada-ru@conference.jabber.ru" is running in limited mode
[18:55:41] <subjrs> о кто явился!
[18:55:46] <subjrs> чорд
[18:56:17] <subjrs> version geniepro
[18:56:19] <Жаба> subjrs, geniepro have Psi 0.14 on Windows XP
[18:56:32] <StarGate> [notice] bridge "#ada@irc.tpu.ru <-> ada-ru@conference.jabber.ru" is running in limited mode
[18:56:40] <subjrs> geniepro: вы мимоходом к нам или в мемберы записать? )
[18:57:58] <yeo> да и машина есть, нет времени заняться :(
[18:58:38] <subjrs> одмина не хватает? )
[19:00:00] <subjrs> чойта landgraf забил на канфу нашу
[19:00:47] <vgodunko> Надо его призвать
[19:00:58] <subjrs> он в соседней канфе болтается
[19:00:58] <geniepro> всем ку
[19:02:27] <geniepro> Вы попытались получить доступ к адресу http://ada-ru.org/, который сейчас недоступен. Убедитесь, что веб-адрес (URL) введен правильно, и попытайтесь перезагрузить страницу.
[19:02:29] <geniepro> j_J
[19:03:09] <subjrs> geniepro: там переадресация сейчас на http://ada-ru.selfip.org:88/
[19:03:43] <geniepro> а раньше же вроде был русскоязычный сайт про Аду?
[19:04:06] <subjrs> это он и есть
[19:06:46] <geniepro> а как в Аде достигается реал-тайм?
[19:06:57] <vgodunko> Берётся и используется.
[19:06:59] <vgodunko> ;-)
[19:07:56] <StarGate> [notice] bridge "#ada@irc.tpu.ru <-> ada-ru@conference.jabber.ru" is running in limited mode
[19:08:04] <geniepro> а как доказывается, что та или иная процедура выполняется не более чем определённое время?
[19:09:02] <vgodunko> Нынче для этого используют специальные программные средства
[19:09:36] <vgodunko> Хотя давно не слышал что бы этим кто-то всерьёз занимался.
[19:10:23] <geniepro> а SPARK реально кто-нить использует?
[19:11:22] <vgodunko> Да, и достаточно активно
[19:16:47] <vgodunko> StarGate не запускается... :-(
[19:18:29] <StarGate> [notice] bridge "#ada@irc.tpu.ru <-> ada-ru@conference.jabber.ru" is running in limited mode
[19:32:19] <godunko> ping
[19:32:44] <vgodunko> Во, галлактики соединились.
[19:53:49] <yeo> хочу опенсорсное специальное программное средство!
[19:54:17] <vgodunko> Для достижения всеобщей гармонии?
[19:57:13] <yeo> http://beru.univ-brest.fr/~singhoff/cheddar/ кто пробовал?
[20:01:29] <subjrs> жабу им тестировать? ))
[20:04:11] <vgodunko> А вообще... Смысла от такого анализа наверное почти нет.
[20:04:29] <vgodunko> Современное "управляющее" ПО разрабатывают совершенно по другому.
[20:04:39] <subjrs> риал-тайм вроде ж от ОС зависит
[20:05:09] <vgodunko> А тестировать обычное по на гарантию времени исполнения совершенно не требуется.
[20:05:36] <vgodunko> От операционной системы зависит, она должна уметь шустро работать.
[20:05:49] <vgodunko> Но и не только от неё, а и от алгоритма обработки.
[20:06:29] <subjrs> риалтаймовость вроде характерезуется гарантированным временем отклика
[20:06:38] <vgodunko> А алгоритмы обработки в управляющих системах не пишут уже.
[20:07:22] <vgodunko> Стоятся математические модели управляемой системы, по этой модели генерируется код с заданными характеристиками.
[20:08:01] <vgodunko> Переход непрерывной модели в дискретную тоже есть часть генерации кода.
[20:08:40] <vgodunko> В том что получается правда разобраться невозможно, но ведь это и не сильно требуется ;-)
[20:12:03] <vgodunko> Ага, вот мировой лидер в разработке инструментальных средств моделирования управляющих систем:
[20:12:06] <vgodunko> http://www.mathworks.com/products/simulink/
[20:12:16] <vgodunko> Там же можно поглядеть рекламный ролик.