Add button to update the json files

Author: jan

io.sloeber.core/src/io/sloeber/arduinoFramework/api/BoardsManager.java

@@ -16,6 +16,7 @@
 import java.nio.file.Files;
 import java.nio.file.Paths;
 import java.nio.file.StandardCopyOption;
+import java.time.Instant;
 import java.util.ArrayList;
 import java.util.Arrays;
 import java.util.Collection;
@@ -871,9 +872,12 @@ public static IArduinoPackage getPackageByProvider(String packager) {
 	public static void update(boolean reloadFromInternet) {
 		synchronized (packageIndices) {
 			myIsUpdating =true;
-			if (myIsDirty) {
+			if (myIsDirty || reloadFromInternet) {
 				downloadJsons(reloadFromInternet);
 				readJsons();
+				if(reloadFromInternet) {
+					ConfigurationPreferences.setLatestUpdateTime(Instant.now());
+				}
 
 			}
 

io.sloeber.core/src/io/sloeber/core/Activator.java

@@ -478,7 +478,6 @@ private static synchronized void startup_BoardsManager(IProgressMonitor monitor)
 //    	boolean needsUpdate = currentTime>(requestedDelay+latestUpdate);
     	if(needsUpdate) {
     		BoardsManager.update(true );
-    		ConfigurationPreferences.setLatestUpdateTime(currentTime);
     	}else {
     		BoardsManager.update(false );
     	}

io.sloeber.core/src/io/sloeber/core/api/ConfigurationPreferences.java

@@ -129,6 +129,7 @@ private static Instant getInstant(String key, Instant defaultValue) {
 		IEclipsePreferences myScope = ConfigurationScope.INSTANCE.getNode(NODE_ARDUINO);
 		long ret = myScope.getLong(key, 0);
 		if(ret==0) {
+			setInstant( key,  defaultValue);
 			return defaultValue;
 		}
 		return Instant.ofEpochSecond(ret);

io.sloeber.ui/src/io/sloeber/ui/Messages.java

@@ -72,12 +72,16 @@ public class Messages extends NLS {
 
 	public static String PreferencePage_Internal_Behaviour_Group_Title;
 
+	public static String PreferencePage_json_Download_date;
+
 	public static String PreferencePage_months;
 
 	public static String PreferencePage_Network_Group_Title;
 
 	public static String PreferencePage_UI_Behaviour_Group_Title;
 
+	public static String PreferencePage_Update_json_files_now;
+
 	public static String PreferencePage_update_interval;
 
 	public static String PreferencePage_weeks;

io.sloeber.ui/src/io/sloeber/ui/messages.properties

@@ -8,9 +8,11 @@ PlatformSelectionPage_hide_third_party_url=Hide 3th party json files
 PreferencePage_centuries=centuries
 PreferencePage_days=days
 PreferencePage_Internal_Behaviour_Group_Title=Internal behaviour
+PreferencePage_json_Download_date=json download date
 PreferencePage_months=months
 PreferencePage_Network_Group_Title=Stuff that needs a network
 PreferencePage_UI_Behaviour_Group_Title=UI behaviour
+PreferencePage_Update_json_files_now=update json files now
 PreferencePage_update_interval=Update json files every
 PreferencePage_weeks=weeks
 PreferencePage_years=years

io.sloeber.ui/src/io/sloeber/ui/preferences/PreferencePage.java

@@ -4,6 +4,9 @@
 
 import java.io.File;
 import java.time.Duration;
+import java.time.Instant;
+import java.time.ZoneId;
+import java.time.format.DateTimeFormatter;
 import java.util.ArrayList;
 
 import org.eclipse.core.runtime.IPath;
@@ -19,6 +22,8 @@
 import org.eclipse.jface.resource.FontRegistry;
 import org.eclipse.jface.resource.JFaceResources;
 import org.eclipse.swt.SWT;
+import org.eclipse.swt.events.SelectionEvent;
+import org.eclipse.swt.events.SelectionListener;
 import org.eclipse.swt.graphics.Font;
 import org.eclipse.swt.layout.GridData;
 import org.eclipse.swt.layout.GridLayout;
@@ -342,11 +347,44 @@ protected void createFieldEditors() {
 		gd17.horizontalSpan=2;
 		nuberLabel.setLayoutData(gd17);
 
+
+		Label lastJsonUpdateTimeLabel = new Label(netWorkbox, SWT.BEGINNING);
+		lastJsonUpdateTimeLabel.setText(Messages.PreferencePage_json_Download_date);
+		GridData gd19 = new GridData(SWT.BEGINNING, SWT.TOP, false, false);
+		gd19.horizontalSpan=2;
+		lastJsonUpdateTimeLabel.setLayoutData(gd19);
+		Label lastJsonUpdateTime = new Label(netWorkbox, SWT.BEGINNING);
+		lastJsonUpdateTime.setText(getLatestJsonUpdateTime());
+		Button updateJsonFileNowButton =new Button(netWorkbox, SWT.PUSH | SWT.LEFT );
+		updateJsonFileNowButton.setText(Messages.PreferencePage_Update_json_files_now);
+		updateJsonFileNowButton.addSelectionListener(new SelectionListener() {
+
+			@Override
+			public void widgetSelected(SelectionEvent e) {
+				BoardsManager.update(true);
+				lastJsonUpdateTime.setText(getLatestJsonUpdateTime());
+			}
+
+			@Override
+			public void widgetDefaultSelected(SelectionEvent e) {
+				// TODO Auto-generated method stub
+
+			}
+		});
+
+
 		myBonjourCheckBox.setSelection(ConfigurationPreferences.useBonjour());
 		setJsonDurationComposites(ConfigurationPreferences.getJsonUpdateDelay());
 
 	}
 
+	private static String getLatestJsonUpdateTime() {
+		DateTimeFormatter formatter =
+			    DateTimeFormatter.ofPattern( "uuuu-MM-dd HH-mm" ) //$NON-NLS-1$
+			    .withZone(ZoneId.systemDefault());
+		Instant instant =ConfigurationPreferences.getLatestJsonUpdateTime();
+		return formatter.format(instant);
+	}
 	/**
 	 * testStatus test whether the provided information is OK. Here the code
 	 * checks whether there is a hardware\arduino\board.txt file under the