Allow different filenames for statistics
Description
Environment
Gliffy Diagrams
Activity
Jenkins Build Server January 21, 2013 at 3:16 PM
Jenkins Build Server December 15, 2012 at 8:05 PM
Integrated in
ProB_TclTk_Windows #92
https://probjira.atlassian.net/browse/ZMQEXTENSION-31#icft=ZMQEXTENSION-31 (Revision 12641)
https://probjira.atlassian.net/browse/ZMQEXTENSION-31#icft=ZMQEXTENSION-31 (Revision 12640)
Result = SUCCESS
bendisposto :
Files :
/trunk/prolog/src/prob_cli.pl
bendisposto :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/master.pl
/trunk/prolog/extensions/zmq/worker.c
/trunk/prolog/parB2.sh
Jenkins Build Server December 15, 2012 at 7:53 AM
Integrated in
ProB_TclTk_Linux #5152
https://probjira.atlassian.net/browse/ZMQEXTENSION-31#icft=ZMQEXTENSION-31 (Revision 12641)
Result = SUCCESS
bendisposto :
Files :
/trunk/prolog/src/prob_cli.pl
Jenkins Build Server December 15, 2012 at 7:28 AM
Integrated in
ProB_TclTk_Linux #5151
https://probjira.atlassian.net/browse/ZMQEXTENSION-31#icft=ZMQEXTENSION-31 (Revision 12640)
Result = SUCCESS
bendisposto :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/master.pl
/trunk/prolog/extensions/zmq/worker.c
/trunk/prolog/parB2.sh
Details
Details
Assignee
Reporter
Priority
Trivial
Integrated in
ProB_TclTk_Linux_No_Parallel #12
https://probjira.atlassian.net/browse/ZMQEXTENSION-31#icft=ZMQEXTENSION-31 (Revision 12641)
https://probjira.atlassian.net/browse/ZMQEXTENSION-31#icft=ZMQEXTENSION-31 (Revision 12640)
Result = SUCCESS
bendisposto :
Files :
/trunk/prolog/src/prob_cli.pl
bendisposto :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/master.pl
/trunk/prolog/extensions/zmq/worker.c
/trunk/prolog/parB2.sh