src/main/java/it/infn/ct/GridEngine/JobService/RobotProxy.java
public void deleteRobotProxy() {
		File f = new File(proxyPath);
		if (!f.exists())
			return;

		// Attempt to delete it
		boolean success = f.delete();

		if (!success)
			logger.warn("Error in deleting proxy = " + proxyPath);
		else
			proxyPath = "";
	}
/**
	 * This method tries to remove the user proxy file.
	 */
This method tries to remove the user proxy file.
This method tries to remove the user proxy file .
public void deleteRobotProxy() {
		File f = new File(proxyPath);
		if (!f.exists())
			return;
		boolean success = f.delete();
		if (!success)
			logger.warn("Error in deleting proxy = " + proxyPath);
		else
			proxyPath = "";
	}
public void deleteRobotProxy ( ) { File f = new File ( proxyPath ) ; if ( ! f . exists ( ) ) return ; boolean success = f . delete ( ) ; if ( ! success ) logger . warn ( "Error in deleting proxy = " + proxyPath ) ; else proxyPath = "" ; }
This method tries to remove the user proxy file.
This method tries to remove the user proxy file .
// Attempt to delete it