src/LiveDevelopment/LiveDevServerManager.js
function removeServer(provider) {
        var i;
        for (i = 0; i < _serverProviders.length; i++) {
            if (provider === _serverProviders[i]) {
                _serverProviders.splice(i, 1);
            }
        }
    }
function removeServer(provider) {
        var i;
        for (i = 0; i < _serverProviders.length; i++) {
            if (provider === _serverProviders[i]) {
                _serverProviders.splice(i, 1);
            }
        }
    }
function removeServer ( provider ) { var i ; for ( i = 0 ; i < _serverProviders . length ; i ++ ) { if ( provider === _serverProviders [ i ] ) { _serverProviders . splice ( i , 1 ) ; } } }
Remove a server from the list of the registered providers.

@param {{object}} provider The provider to be removed.
Remove a server from the list of the registered providers .