(no commit message)

diff --git a/build.xml b/build.xml
index 149a1150d20fab44b0f5b641969db0ad2ab71cd1..0b4a0f0198e955bbff7ed90fa5d77d4855ab036f 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -11,7 +11,7 @@
 
     &header;
     
-    <property name="projects" value="support,crawler"/>
+    <property name="projects" value="support,crawler,socketproxy"/>
     
     &delegator;