Log of /trunk/proof/proof/src/TQueryResultManager.cxx
Parent Directory
Revision
31012 -
(
view)
(
download)
(
as text)
(
annotate)
-
[select for diffs]
Modified
Fri Nov 6 16:08:19 2009 UTC (5 years, 2 months ago) by
ganis
File length: 21922 byte(s)
Diff to
previous 26758
Save the status of a 'proofserv' session into a new file in the 'activesessions' area.
The full path of the new file is
<admin_path>/.xproofd.<port>/activesessions/<user>.<group>.<pid>.status
The status indicates whether the session is idle, running or queued.
The status is updated every 'checkfq' secs (see xpd.proofservmgr; default 30 s).
The status is dumped by the reader thread of TXProofServ and therefore its r/w access
is protected.
This change is needed for PoD optimizations.
Revision
25720 -
(
view)
(
download)
(
as text)
(
annotate)
-
[select for diffs]
Added
Tue Oct 7 10:13:37 2008 UTC (6 years, 3 months ago) by
ganis
File length: 21617 byte(s)
Move the code for query-result management into a new class TQueryResultManager,
so that it can be used in other places (e.g. prooflite).
This form allows you to request diffs between any two revisions of this file.
For each of the two "sides" of the diff,
enter a numeric revision.