GUAC-1193: Use filter token parser to split search string.

guacamole/src/main/webapp/app/settings/directives/guacSettingsConnectionHistory.js

@@ -37,6 +37,7 @@ angular.module('settings').directive('guacSettingsConnectionHistory', [function
         controller: ['$scope', '$injector', function settingsConnectionHistoryController($scope, $injector) {
                 
             // Get required types
+            var FilterToken = $injector.get('FilterToken');
             var SortOrder   = $injector.get('SortOrder');
 
             // Get required services
@@ -118,10 +119,37 @@ angular.module('settings').directive('guacSettingsConnectionHistory', [function
                 // Clear current results
                 $scope.historyRecords = null;
 
+                // Tokenize search string
+                var tokens = FilterToken.tokenize($scope.searchString);
+
+                // Transform tokens into list of required string contents
+                var requiredContents = [];
+                angular.forEach(tokens, function addRequiredContents(token) {
+
+                    // Transform depending on token type
+                    switch (token.type) {
+
+                        // For string literals, use parsed token value
+                        case 'LITERAL':
+                            requiredContents.push(token.value);
+
+                        // Ignore whitespace
+                        case 'WHITESPACE':
+                            break;
+
+                        // For all other token types, use the relevant portion
+                        // of the original search string
+                        default:
+                            requiredContents.push(token.consumed);
+
+                    }
+
+                });
+
                 // Fetch history records
                 historyService.getConnectionHistory(
                     $scope.dataSource,
-                    $scope.searchString.split(/\s+/),
+                    requiredContents,
                     $scope.order.predicate
                 )
                 .success(function historyRetrieved(historyRecords) {