bartv

Feb 12 09:04:52 mon-1 java[12294]: Feb 12, 2015 9:04:52 AM flens.core.util.AbstractPlugin err
Feb 12 09:04:52 mon-1 java[12294]: SEVERE: multi valued record not exanded:Record [type=null tags=[], values={plugin_instance=dev-shm, type_instance=free, plugin=df, values=[4.186415104E9], interval=10737418240, time=1423731882222, source=mon-1, type=df_complex}]
Feb 12 09:04:52 mon-1 java[12294]: Feb 12, 2015 9:04:52 AM flens.core.util.AbstractPlugin err
Feb 12 09:04:52 mon-1 java[12294]: SEVERE: multi valued record not exanded:Record [type=null tags=[], values={plugin_instance=dev-shm, type_instance=reserved, plugin=df, values=[0.0], interval=10737418240, time=1423731882222, source=mon-1, type=df_complex}]
Feb 12 09:04:52 mon-1 java[12294]: Feb 12, 2015 9:04:52 AM flens.core.util.AbstractPlugin err
Feb 12 09:04:52 mon-1 java[12294]: SEVERE: multi valued record not exanded:Record [type=null tags=[], values={plugin_instance=dev-shm, type_instance=used, plugin=df, values=[0.0], interval=10737418240, time=1423731882222

bartv

#!/usr/bin/env python

import httplib, socket, sys, os

if len(sys.argv) != 2:
    print("The first argument should be the path of the file with the user credentials")
    sys.exit(2)

if not os.path.exists(sys.argv[1]):
    print("Unable to read the credential file")

bartv

\lstdefinelanguage{IMP}{                                                                          
    morekeywords={typedef, implementation, as, implement, is, end, select, entity, matching, self, index, extends,include, for, using, enum, with, parent},                             
    morecomment=[l]{\#},                                                                             
    morestring=[b]",                                                                                 
    breaklines = true,                                                                               
} 

bartv

\usepackage{microtype}
\ifluatex
    \usepackage{fontspec}

    \newfontfeature{Microtype}{protrusion=default;expansion=default;}
    \defaultfontfeatures{Ligatures=TeX}

    \setmainfont[Numbers=OldStyle]{Linux Libertine O}
    \setsansfont[UprightFont    = *-Regular,
             ItalicFont     = *-RegularIt,