Merge branch 'feature/ISSUE-205_ssh-key-deletion-bugged-2' into 'main'

Resolve "SSH key deletion bugged"

Closes #205

See merge request !82

bwreg-webapp/src/main/java/edu/kit/scc/webreg/bean/UserSshKeyManagementBean.java

@@ -30,6 +30,10 @@ import edu.kit.scc.webreg.service.identity.IdentityService;
 import edu.kit.scc.webreg.service.ssh.SshPubKeyService;
 import edu.kit.scc.webreg.session.SessionManager;
 import edu.kit.scc.webreg.util.FacesMessageGenerator;
+import java.io.IOException;
+import jakarta.faces.context.ExternalContext;
+import jakarta.faces.context.FacesContext;
+import jakarta.servlet.http.HttpServletRequest;
 
 @Named
 @ViewScoped
@@ -92,7 +96,7 @@ public class UserSshKeyManagementBean implements Serializable {
 			keyList.remove(k);
 			sshPubKeyService.deleteKey(k.getPubKeyEntity(), "identity-" + identity.getId());
 		});
-		messageGenerator.addResolvedInfoMessage("info", "ssh_keys.key_deleted", false);
+		messageGenerator.addResolvedInfoMessage("info", "ssh_keys.key_deleted", true);
 	}
 
 	public void deployKey() {
@@ -125,12 +129,17 @@ public class UserSshKeyManagementBean implements Serializable {
 			newKey = "";
 			newName = "";
 			messageGenerator.addResolvedInfoMessage("info", "ssh_key_deployed", true);
+			ExternalContext ec = FacesContext.getCurrentInstance().getExternalContext();
+			ec.redirect(((HttpServletRequest) ec.getRequest()).getRequestURI());
 		} catch (UnsupportedKeyTypeException e) {
 			logger.warn("An error occured whilst deploying key: " + e.getMessage());
 			messageGenerator.addResolvedErrorMessage("sshKeyMessage", "error_msg", e.toString(), false);
 		} catch (SshPubKeyBlacklistedException e) {
 			logger.warn("User {} tried to deploy blacklisted key", identity.getId());
 			messageGenerator.addResolvedErrorMessage("sshKeyMessage", "error", "key_blacklisted", true);
+		} catch (IOException e) {
+			logger.warn("An error occured trying to reload page after deploying key: " + e.getMessage());
+			messageGenerator.addResolvedErrorMessage("sshKeyMessage", "error_msg", e.toString(), false);
 		}
 	}