Function joinPath

Support/SingleFileLibs/javascript/app.js:249–259

(dir, rel)

  // Amalgamation
 
  function joinPath(dir, rel) {
    if (rel.startsWith('/')) return rel.slice(1);
    const parts = (dir + '/' + rel).split('/');
    const stack = [];
    for (const part of parts) {
      if (part === '' || part === '.') continue;
      if (part === '..') { stack.pop(); continue; }
      stack.push(part);
    }
    return stack.join('/');
  }

  function divider() {
    return '//' + '-'.repeat(118) + '\n';