• Xavier Thompson's avatar
    software/theia: Make theiaN frontend names unique · fb74c448
    Xavier Thompson authored
    This concerns a case of resiliency in Theia: when a resilient Theia
    requests multiple import clones (by default only one is requested),
    e.g. when theia0 (export) has two import clones theia1 and theia2.
    
    Each clone requests a frontend for their theia service, which allows
    the Theia editor of the clone to be accessed without doing a takeover.
    
    Before this, all the import clones would request a frontend with the
    same name. This meant that only one frontend was allocated and might
    randomly redirect to one of the backup clones.
    
    See merge request !1481
    fb74c448
buildout.hash.cfg 1.83 KB