W3C home > Mailing lists > Public > www-jigsaw@w3.org > September to October 1997

Beta API questions (adding an extension)

From: Mark Friedman <mark@intraspect.com>
Date: Mon, 22 Sep 1997 18:20:39 -0700
Message-ID: <34271967.F5B73BFF@intraspect.com>
To: www-jigsaw@w3.org, jigsaw@w3.org
In Jigsaw Alpha5, I used to do something like the following to
programmatically add an extension resource:

    // Add extension resources
    ResourceIndexer indexer = server.getIndexer();
    // Add extension resource for .exe
    if (indexer.loadExtension("exe") == null) {
      addExtension ("exe",
                    new MimeType ("application",

where addExtension is defined as:

  static void addExtension (String extString,
                            MimeType type,
                            ResourceIndexer indexer) {
    FileResource ext = new FileResource();
    ext.setValue ("identifier", extString);
    ext.setValue ("content-type", type);
    System.out.println("Added " + extString +
                       " extension resource to Jigsaw");

How would I do it now in the beta API?

Thanks in advance.

Received on Monday, 22 September 1997 21:24:37 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:25:31 UTC