#!/bin/bash

function echo2 {
    echo "[  RUNCOMPSS-DOCKER  ]: $1" 
}
