Changeset 0083c477 in tol

Timestamp:

Jun 15, 2010, 11:06:33 AM (16 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

1941-docker-image-to-test, devel, master

Children:

22ff84a

Parents:

bed5e29

Message:

Nuevos miembros para el manejo del protocolo
Renombrado de método

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@2227 be4846ae-f051-483a-831f-b64e7d08527f

File:

• tol/stdlib/general/TolPackage/repository.tol (modified) (5 diffs)

tol/stdlib/general/TolPackage/repository.tol

@@ -23 +23 @@
 //////////////////////////////////////////////////////////////////////////////
 
-//Dirección del repositorio remoto
+//Dirección del repositorio remoto.
 //Un repositorio remoto puede ser en realidad un directorio local para 
 //facilitar proceso de instalación cerrada. Para ello la URL comenzará por 
@@ -32 +32 @@
 Text _.url;
 
+//Protocolo de acceso al repositorio file://, http://, https://, ftp://
+Text _.protocol ="";
+//Resto de la URL tras el protocolo
+Text _.address = "";
+//Cierto si el protocolo no es file://
+Real _.isRemote = ?;
 //Archivo del estado actual de los paquetes del repositorio
 Set _.status = Copy(Empty);
-
 //Resultado de la conexión al repositorio remoto
 Real _.connected = ?;
-
 //Instancias de repositorios que han sido consultados durante la sesión de 
 //TOL actual
@@ -62 +66 @@
 //////////////////////////////////////////////////////////////////////////////
 {
-  Set aux = [[
-    Repository new = [[
-      Text _.url = url;
-    ]]
-  ]];
+  Real prtPos = TextFind(url,"://")+2;
+  //Protocolo de acceso al repositorio file://, http://, https://, ftp://
+  Text protocol = SubString(url,1,prtPos);
+  //Resto de la URL tras el protocolo
+  Text address =  SubString(url,prtPos+1,TextLength(url));
+  Set aux = [[ Repository new = [[
+    Text _.url = url;
+    Text _.protocol = protocol;
+    Text _.address = address;
+    Real _.isRemote =  protocol!="file://"  ]] ]];
   Real If(new::Connect(0),
   {
@@ -81 +90 @@
 //////////////////////////////////////////////////////////////////////////////
 {
-  If(TextBeginWith(_.url,"file://"),
-  {
-    ReadFile(_.url+path)
+  If(!_.isRemote,
+  {
+    ReadFile(_.address+path)
   },
   {
@@ -92 +101 @@
 //////////////////////////////////////////////////////////////////////////////
 //Copia un fichero del repositorio remoto al directorio local de paquetes
-  Text CopyFileToLocalRoot(Text path)
-//////////////////////////////////////////////////////////////////////////////
-{
-  If(TextBeginWith(_.url,"file://"),
-  {
-    OSFilCopy(_.url+path,_.localRoot+path)
+  Real DownloadFile(Text path)
+//////////////////////////////////////////////////////////////////////////////
+{
+  If(!_.isRemote,
+  {
+    OSFilCopy(_.address+path,_.localRoot+path)
   },
   {