[gentoo]/xml/htdocs/dtd/* used to be checked out immediately after a commit so that the pre-commit check of xml files that need the DTDs would not fail or require a long wait. It seems it has stopped working. I updated usedinfo.dtd hours ago, but the pre-commit check on the xml is still validating against the previous version.
I don't find any script at all for updating the copy on stork. I added a cronjob that runs every 10 minutes and handles them now.
Thanks, but it used to take a few seconds at the most before I could commit xml that relied on updates to DTDs and now I have to wait 10 minutes. Not nice! Please have a look at loginfo. There's some foo that should take care of it. It hasn't been changed recently but it stopped working. Any idea?
ah, thanks for pointing to that scripting bit. The last updatelog entry is Sep 13th, and I did a test of them, (my test empty commit on glsa.dtd), and the loginfo lines did not run. I traced why, and it's going to be a pain. loginfo takes the first matching line only, and does NOT continue afterwards. I'm working on it.
ok, fixed now.