Hi,

I would to do this in a gawk script:

BEGIN {
as="188.772.11.11"
while (getline <"../datas"){
split($0,s,";")
if(/$as;/) { print $0 }
}
}

but it fails.
Of course if I write
if(/188.772.11.11;/) { print $0 }
then it's ok.

Thank you in advance
Bruno