Use name of channel instead of number

For unknown channel types the type number is still used, e.g.:
 "Channel type unknown-12 not implemented"
This commit is contained in:
Pavel Grunt 2015-09-07 14:20:05 +02:00
parent 289a760371
commit bd5d261a37
2 changed files with 3 additions and 3 deletions

View File

@ -138,10 +138,10 @@ SpiceMainConn.prototype.process_channel_message = function(msg)
this.cursor = new SpicePlaybackConn(conn);
else
{
this.log_err("Channel type " + chans.channels[i].type + " unknown.");
if (! ("extra_channels" in this))
this.extra_channels = [];
this.extra_channels[i] = new SpiceConn(conn);
this.log_err("Channel type " + this.extra_channels[i].channel_type() + " not implemented");
}
}

View File

@ -342,10 +342,10 @@ SpiceConn.prototype =
{
rc = this.process_channel_message(msg);
if (! rc)
this.log_warn(this.type + ": Unknown message type " + msg.type + "!");
this.log_warn(this.channel_type() + ": Unknown message type " + msg.type + "!");
}
else
this.log_err(this.type + ": No message handlers for this channel; message " + msg.type);
this.log_err(this.channel_type() + ": No message handlers for this channel; message " + msg.type);
}
if (this.msgs_until_ack !== undefined && this.ack_window)