Strip jarrg- from tag names2023-04-09T09:52:24ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2023-04-09T09:52:24Zhttp://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=commitdiff;h=a737f9869667e5e4c3ecd84a8260cd954bad1038
Strip jarrg- from tag names
We'll use these tags from now on.
Add "PCTB:" to the error that PCTB gives nowadays2023-04-09T09:38:55ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2023-04-09T09:38:55Zhttp://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=commitdiff;h=134c799cb4ba78d5ddcd5e78515a403fcb57710a
Turn off PCTB upload by default2023-04-09T09:36:08ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2023-04-09T09:36:08Zhttp://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=commitdiff;h=c16a78bdc1c64bca541b36e550817f1d48aeb167
Turn off PCTB upload by default
It seems not to be working.
Fix island name finding (fixes bug mentioned in wiki)2023-04-08T10:29:38ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2023-04-08T10:29:38Zhttp://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=commitdiff;h=fa8b0deb7b4364d66a97998ddf67b4912e489fee
Fix island name finding (fixes bug mentioned in wiki)
Update JDK version in build-sh to OpenJDK 82023-04-08T10:08:38ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2023-04-08T10:08:38Zhttp://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=commitdiff;h=c1533c5624ae6b00dbd7cd91fcb7702db2a096df
Update JDK version in build-sh to OpenJDK 8
I don't have a copy of 6 any more. I'll have to rebuild with 8.
use "/who" rather than "/w" to find our island2011-04-02T19:32:11ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2011-04-02T19:32:11Zhttp://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=commitdiff;h=7b5460c64b9113c87fdd93bc0fbac3762b30f6dd
style: add a comment about main() not being called2011-04-02T19:22:39ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2011-04-02T19:22:39Zhttp://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=commitdiff;h=9a0ebbeb9b39aa6ed93c419a306f60267a1d0cc9
style: add a comment about main() not being called
style: change visibility of some members of MarketUploader2011-04-02T19:22:29ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2011-04-02T19:22:29Zhttp://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=commitdiff;h=c8ce8067db3ef88021727d11c462706b9e38e75f
style: change visibility of some members of MarketUploader
formatting: move code about to make more sense, and improve block comments, etc.... 2011-04-02T19:09:00ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2011-04-02T19:09:00Zhttp://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=commitdiff;h=51d201e3facb0f3eef55cd3a1cdffecd37929071
formatting: move code about to make more sense, and improve block comments, etc.; no intentional change other than code motion and comment changes