"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "src/System/Files/web_files.cpp" between
TeXmacs-2.1.1-src.tar.gz and TeXmacs-2.1.2-src.tar.gz

About: GNU TeXmacs is a scientific editing platform designed to create beautiful technical documents using a wysiwyg interface.

web_files.cpp  (TeXmacs-2.1.1-src)	:	web_files.cpp  (TeXmacs-2.1.2-src)
skipping to change at line 113		skipping to change at line 113
if (tool == "curl") {		if (tool == "curl") {
cmd= "curl --user-agent TeXmacs-" TEXMACS_VERSION;		cmd= "curl --user-agent TeXmacs-" TEXMACS_VERSION;
cmd << " " << escape_sh (web_encode (as_string (name)));		cmd << " " << escape_sh (web_encode (as_string (name)));
cmd << " --output " << tmp_s;		cmd << " --output " << tmp_s;
}		}
//cout << cmd << LF;		//cout << cmd << LF;
system (cmd);		system (cmd);
//cout << "got " << name << " as " << tmp << LF;		//cout << "got " << name << " as " << tmp << LF;
if (var_eval_system ("cat " * tmp_s * " 2> /dev/null") == "") {		if (file_size (url_system (tmp_s)) <= 0) {
remove (tmp);		remove (tmp);
return url_none ();		return url_none ();
}		}
else return set_cache (name, tmp);		else return set_cache (name, tmp);
}		}
/******************************************************************************		/******************************************************************************
* Files from a hyperlink file system		* Files from a hyperlink file system
******************************************************************************/		******************************************************************************/
End of changes. 1 change blocks.
1 lines changed or deleted		1 lines changed or added

---