Done. Gerwin > On 27.11.2014, at 19:08, Dmitriy Traytel <tray...@in.tum.de> wrote: > > Maybe then the timeout for AODV should be set to some large number in its > ROOT file (as done for other sessions)? > > The session times out in mira for quite some time (e.g. > http://isabelle.in.tum.de/testboard/Isabelle/report/207ba9b7301d47a1a42585afb63c6a60). > > Dmitriy > > On 26.11.2014 22:31, Gerwin Klein wrote: >> Not sure about lxbroy10, but AODV is now the longest session. It takes about >> 1:40h on my machine (needs less memory than JinjaThreads, though). >> >> Cheers, >> Gerwin >> >>> On 27.11.2014, at 05:10, Florian Haftmann >>> <florian.haftm...@informatik.tu-muenchen.de> wrote: >>> >>> How long is session AODV expected to run on a machine such as lxbroy10? >>> It seems to exceed JinjaThreads significantly… >>> >>> Florian >>> >>> -- >>> >>> PGP available: >>> http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de >>> >>> _______________________________________________ >>> isabelle-dev mailing list >>> isabelle-...@in.tum.de >>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev >> >> ________________________________ >> >> The information in this e-mail may be confidential and subject to legal >> professional privilege and/or copyright. National ICT Australia Limited >> accepts no liability for any damage caused by this email or its attachments. >> _______________________________________________ >> isabelle-dev mailing list >> isabelle-...@in.tum.de >> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev >
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
