#!/bin/bash curl 'http://localhost:8080/SCIDE/NodeCenter?action=register&pubKey=a&wsUrl=ws%3A%2F%2F39.106.6.6%3A8080%2FSCIDE%2FSCExecutor' echo "" curl 'http://localhost:8080/SCIDE/NodeCenter?action=register&pubKey=b&wsUrl=ws%3A%2F%2F47.106.38.23%3A8080%2FSCIDE%2FSCExecutor' echo "" curl 'http://localhost:8080/SCIDE/NodeCenter?action=register&pubKey=c&wsUrl=ws%3A%2F%2F222.29.159.166%3A3436%2FSCIDE%2FSCExecutor' echo ""