--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/script/rest/reinit_iri.awk	Tue Jan 11 11:17:17 2011 +0100
@@ -0,0 +1,6 @@
+{
+    cmd = "ls -rc " $5"/*.iri | head -n1";
+    cmd | getline RES ;
+    close(cmd); 
+    system( "cp " RES".old "RES);
+}