juagargi

#!/bin/bash

# set -x
set -e

ORIG_COMMIT="73939b9dd287825fac6711441354db4053cfb61e"
LAST_COMMIT="d5d13a76acf486d810826c2c2e682c559ffaea08"

rm -rf migrate_fixtures
mkdir migrate_fixtures

juagargi

#!/usr/bin/env python

import sys
import requests
import lxml.html
import json
import base64


COORDINATOR_URL = 'http://localhost:8000'

juagargi

#!/bin/bash

echo "We will get the AS configuration from the Coordinator now."

wget "https://raw.githubusercontent.com/netsec-ethz/scionlab/master/scionlab/hostfiles/scionlab-config" -O /tmp/scionlab-config
chmod +x /tmp/scionlab-config

cd "$SC"
rm -f gen-cache/*
if [ -f "gen/account_id" ]; then

juagargi

import socket
import sys


server_ip = '127.0.0.1'
server_port = 9090


def main(ipport):
    server_ip, server_port = ipport.split(":")