Index: tol/stdlib/general/system/tpa/_server.tol
===================================================================
--- tol/stdlib/general/system/tpa/_server.tol	(revision a94d7fe85b0cdc1078ebdc739becd54ba02fb5db)
+++ tol/stdlib/general/system/tpa/_server.tol	(revision 5745b28798680e24f225902c8d5dbc0bcef3a097)
@@ -5,5 +5,5 @@
 
 //////////////////////////////////////////////////////////////////////////////
-  Text formatServer(@stServerInfo srv)
+  Text formatServer(Tpa::@stServerInfo srv)
 //////////////////////////////////////////////////////////////////////////////
 {
@@ -20,5 +20,5 @@
 
 //////////////////////////////////////////////////////////////////////////////
-  Text descServer(@stServerInfo srv)
+  Text descServer(Tpa::@stServerInfo srv)
 //////////////////////////////////////////////////////////////////////////////
 {
@@ -39,5 +39,5 @@
 {
   Set tok = Tokenizer(hostPort,":");
-  @stServerInfo
+  Tpa::@stServerInfo
   (
     Text host = tok[1];
@@ -50,5 +50,5 @@
 "Returns the Tap::@stServerInfo corresponding to a standard string of server "
 "definition host:port",
-"Devuelve la estructura Tap::@stServerInfo correspondiente a una cadena "
+"Devuelve la estructura Tpa::@stServerInfo correspondiente a una cadena "
 "est?ndard de definici?n de un servidor m?quina:puerto"),
 parseServer);
@@ -113,5 +113,5 @@
     Real pid = RemoteExec(host, _.rmtpsdPort, command);
   //WriteLn("TRACE launchServer 1.5 pid="<<pid);
-    Set srv = @stServerInfo(host, port, pid, speed);
+    Set srv = Tpa::@stServerInfo(host, port, pid, speed);
   //WriteLn("TRACE launchServer 1.6 srv="<<srv);
     Text desc = ToName(descServer(srv));
@@ -165,5 +165,5 @@
 
 //////////////////////////////////////////////////////////////////////////////
-Real killServer(@stServerInfo srv)
+Real killServer(Tpa::@stServerInfo srv)
 //////////////////////////////////////////////////////////////////////////////
 {
@@ -260,5 +260,5 @@
 
 //////////////////////////////////////////////////////////////////////////////
-Real testRemoteSpeed(Real numIter, @stServerInfo srv)
+Real testRemoteSpeed(Real numIter, Tpa::@stServerInfo srv)
 //////////////////////////////////////////////////////////////////////////////
 {
