Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 5 of 5 for Mirror (0.2 sec)

  1. .github/workflows/trusted_partners.js

    */
    
    const get_email_domain = async ({github, username}) => {
      const user = await github.rest.users.getByUsername({
        username
      });
      if (user.status >= 400) {
        console.log(user);
        throw `Error Getting user data for ${username}`;
      }
      const email = user.data.email;
      let domain = "";
      if (email && email.lastIndexOf("@") != -1)
        domain = email.substring(email.lastIndexOf("@") +1);
      console.log(domain);
    JavaScript
    - Registered: Tue May 07 12:40:20 GMT 2024
    - Last Modified: Tue Feb 07 13:52:04 GMT 2023
    - 4.5K bytes
    - Viewed (0)
  2. src/main/webapp/js/search.js

      loadImage = function(img, url, limit) {
        var imgData = new Image();
        $(imgData).on("load", function() {
          $(img).css("background-image", "");
          $(img).attr("src", url);
        });
        $(imgData).on("error", function() {
          if (limit > 0) {
            setTimeout(function() {
              loadImage(img, url, --limit);
            }, IMG_LOADING_DELAY);
          } else {
    JavaScript
    - Registered: Mon May 06 08:04:11 GMT 2024
    - Last Modified: Thu Mar 30 05:45:24 GMT 2023
    - 7.5K bytes
    - Viewed (1)
  3. misc/wasm/wasm_exec_node.js

    	process.on("exit", (code) => { // Node.js exits if no event handler is pending
    		if (code === 0 && !go.exited) {
    			// deadlock, make Go print error and stack traces
    			go._pendingEvent = { id: 0 };
    			go._resume();
    		}
    	});
    	return go.run(result.instance);
    }).catch((err) => {
    	console.error(err);
    	process.exit(1);
    JavaScript
    - Registered: Tue Apr 30 11:13:12 GMT 2024
    - Last Modified: Mon Jan 30 18:49:42 GMT 2023
    - 1.1K bytes
    - Viewed (0)
  4. docs_src/generate_clients/tutorial004.js

            }
          }
        }
    
        await fs.promises.writeFile(
          filePath,
          JSON.stringify(openapiContent, null, 2),
        )
        console.log('File successfully modified')
      } catch (err) {
        console.error('Error:', err)
      }
    }
    
    const filePath = './openapi.json'
    JavaScript
    - Registered: Sun May 05 07:19:11 GMT 2024
    - Last Modified: Thu Mar 14 11:40:05 GMT 2024
    - 1K bytes
    - Viewed (0)
  5. .github/workflows/create_issue.js

      const pr_match_groups = context.payload.head_commit.message.match(/\Rollback of PR #(\d+).*/) || [];
      if (pr_match_groups.length != 2) {
        console.log(`PR Number not found in ${context.payload.head_commit.message}`);
        throw "Error extracting PR Number from commit message";
      }
      const pr_number = parseInt(pr_match_groups[1]);
      const owner = context.payload.repository.owner.name;
      const repo = context.payload.repository.name;
    JavaScript
    - Registered: Tue May 07 12:40:20 GMT 2024
    - Last Modified: Mon Oct 18 23:04:59 GMT 2021
    - 2.8K bytes
    - Viewed (0)
Back to top