Skip to content

Commit

Permalink
FIXED: make sure the editor role is always correctly forwarded to the
Browse files Browse the repository at this point in the history
server.
  • Loading branch information
Jan Wielemaker authored and Jan Wielemaker committed Jul 5, 2015
1 parent 2236c99 commit 6c61fcb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion web/js/codemirror/mode/prolog/prolog_server.js
Original file line number Diff line number Diff line change
Expand Up @@ -189,8 +189,8 @@ classification of tokens.
return;
state.uuid = generateUUID();
msg.uuid = state.uuid;
msg.role = state.role;
}
msg.role = state.role;
if ( typeof(state.sourceID) == "function" )
msg.sourceID = state.sourceID();

Expand Down

0 comments on commit 6c61fcb

Please sign in to comment.