This machine mirrors various open-source projects.
	20 Gbit/s uplink.
	
	If there are any issues or you want another project mirrored, please contact
	mirror-service -=AT=- netcologne DOT de ! 
| get_construo_rc_path()=0 | SystemContext |  [pure virtual] | 
| get_file_type(const std::string &filename)=0 | SystemContext |  [pure virtual] | 
| get_mtime(const std::string &filename)=0 | SystemContext |  [pure virtual] | 
| get_time()=0 | SystemContext |  [pure virtual] | 
| get_user_email()=0 | SystemContext |  [pure virtual] | 
| get_user_realname()=0 | SystemContext |  [pure virtual] | 
| open_input_file(const std::string &filename)=0 | SystemContext |  [pure virtual] | 
| open_output_file(const std::string &filename)=0 | SystemContext |  [pure virtual] | 
| read_directory(const std::string &pathname)=0 | SystemContext |  [pure virtual] | 
| sleep(unsigned long)=0 | SystemContext |  [pure virtual] | 
| translate_filename(const std::string &)=0 | SystemContext |  [pure virtual] | 
 1.3-rc3
1.3-rc3 
  