1013,9 → 1013,13 |
<td> |
|
|
<!-- Taken from the gestion of 2022 --> |
<!-- Taken from the gestion of 2022-11-29_index.htm --> |
<form method="post" action="/cgi-bin/manage" enctype="multipart/form-data"> |
<font size="-1"> |
<input type="checkbox" name="add-defined-value" value="true"> <code>-add-defined-value</code> |
<input name="add-defined-value-reference" size="10" type="text" placeholder="-- reference --"> |
<input name="add-defined-value-oid" size="35" type="text" placeholder="-- OID --"> |
<br> |
<input type="checkbox" name="add-illegal-oid" value="true"> <code>-add-illegal-oid</code> |
<input name="add-illegal-oid-oid" size="10" type="text" placeholder="-- OID --"> |
<input name="add-illegal-oid-comment" size="35" type="text" placeholder="-- Comment --"> |
1036,7 → 1040,7 |
<input name="check-acronyms-first-oid" size="40" type="text"> |
<br> --> |
<input type="checkbox" name="check-consistency" value="true"> |
<code>-check-consistency</code>: |
<code>-check-consistency</code> |
<input type="checkbox" name="check-consistency-type" value="all">leaf & frozen OIDs<br> |
<!-- <input type="checkbox" name="check-constants" value="true"> |
<code>-check-constants</code> <br> |
1075,14 → 1079,23 |
Nb errors: |
<input name="check-similarity-nb-errors" size="4" type="text" value="3"><br> |
<input type="checkbox" name="check-url" value="true"> |
<code>-check-url:</code> <input name="check-url-url" size="40" type="text" value=""> |
<code>-check-url</code> <input name="check-url-url" size="40" type="text" value=""> |
<br> |
<input type="checkbox" name="delete-url-status" value="true"> |
<code>-delete-url-status:</code> |
<code>-delete-url-status</code> |
<input name="delete-url-status-url" size="40" type="text" value="" placeholder="-- URL --"> |
("old" to delete old status)<br> |
<input type="checkbox" name="diff-web-page" value="true"> |
<code>-diff-web-page</code> |
<input name="diff-web-page-url" size="40" type="text" value="" placeholder="-- URL --"> |
<input name="diff-web-page-frequency" size="10" type="text" value="1 month" placeholder="-- Frequency --"> (or "delete")<br> |
<input type="checkbox" name="diff-web-pages" value="true"> |
<code>-diff-web-pages</code><br> |
<input type="checkbox" name="email" value="true"> |
<code>-email:</code> To: |
<input name="email-recipients" size="10" type="text"> Title: |
<input name="email-title" size="15" type="text" value="OID repository:"> Body: |
<input type="text" name="email-message" size="30"><br> |
<!-- <input type="checkbox" name="email-to-admin" value="true"> |
<code>-email-to-admin:</code> Title: |
<input name="email-to-admin-title" size="15" type="text"> Body: |
1211,7 → 1224,7 |
if (Date.parse(document.lastModified) != 0) |
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear()); |
</script>--> |
25 Nov 2022 |
03 Dec 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |