| author | A.M. Thurnherr <athurnherr@yahoo.com> |
| Thu, 16 Apr 2015 14:50:59 +0000 | |
| changeset 27 | 2053d8de8d6b |
| parent 3 | 9c021fdea1ff |
| permissions | -rw-r--r-- |
|
3
9c021fdea1ff
Before replacing command-line options by default variables.
A.M. Thurnherr <athurnherr@yahoo.com>
parents:
diff
changeset
|
1 |
The current version seems more-or-less fine, except that there may be issues |
|
9c021fdea1ff
Before replacing command-line options by default variables.
A.M. Thurnherr <athurnherr@yahoo.com>
parents:
diff
changeset
|
2 |
with time lagging when the false-positives filter is used. To improve |
|
9c021fdea1ff
Before replacing command-line options by default variables.
A.M. Thurnherr <athurnherr@yahoo.com>
parents:
diff
changeset
|
3 |
debugging, I need to replace command-line-options by default variables. |
|
9c021fdea1ff
Before replacing command-line options by default variables.
A.M. Thurnherr <athurnherr@yahoo.com>
parents:
diff
changeset
|
4 |
Before doing this, I decided to copy the current state. |