From 314854fe6c9f6cf57bb16b5c658ae88c2ef5ce9d Mon Sep 17 00:00:00 2001
From: User1391 <33672159+User1391@users.noreply.github.com>
Date: Thu, 7 Mar 2019 14:58:51 -0500
Subject: [PATCH] Update server.R

---
 server.R | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/server.R b/server.R
index d4c717f..7e7f1a2 100644
--- a/server.R
+++ b/server.R
@@ -220,7 +220,11 @@ df[df=="?"] <- 0
   ###################
 
   output$robot_num <- renderText({
-    paste("Team", input$robot_numSearch)
+   if (!is.element(input$robot_numSearch, df$Robot_Num)) {
+      "Overall"
+    } else {
+      paste("Team", input$robot_numSearch)
+    }
   })
   #THE RADAR CHARTS OF GODS
   output$robot_skills_radar <- renderPlot({